isabelle: /jre/bin/java not found

[mrkgnao]

Issue description

frob at leviathan in ~ 
$ isabelle_java
/nix/store/a2lm8rh55826f5397fh8z46prb955qqc-isabelle-2017/Isabelle2017/bin/isabelle_java: line 78: /jre/bin/java: No such file or directory

Steps to reproduce

$ nix-env -i isabelle-2017
$ isabelle_java

Technical details

$ nix-shell -p nix-info --run "nix-info -m"
 - system: `"x86_64-linux"`
 - host os: `Linux 4.9.71, NixOS, 18.03pre123588.ade98dc442e (Impala)`
 - multi-user?: `yes`
 - sandbox: `no`
 - version: `nix-env (Nix) 1.12pre5810_5d5b931f`
 - channels(frob): `"unstable-18.03pre122585.b212125b541"`
 - channels(root): `"nixos-18.03pre123588.ade98dc442e, nixpkgs, unstable"`
 - channels(mrkgnao): `""`
 - nixpkgs: `/nix/var/nix/profiles/per-user/root/channels/nixos/nixpkgs`