mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-11 08:13:04 +00:00
e8a2f9fba6
Since the default jdk changed to jdk19, DataExplorer fails at startup: ```console $ ./result/bin/DataExplorer java.lang.NullPointerException: Cannot read field "width" because the return value of "gde.config.Settings.getWindow()" is null at gde.ui.DataExplorer.execute(DataExplorer.java:406) at gde.GDE.main(GDE.java:544) ``` Therefore, pin to jdk17, which is also the latest recommended version by upstream: > The only requirement is the installation of a Java run-time of version > 8 to Java 17 for the 32 bit versions and Java 11 to 17 for the 64 bit > versions, such as IcedTea or open JDK. https://www.nongnu.org/dataexplorer/index.html#Introduction |
||
---|---|---|
.. | ||
astronomy | ||
biology | ||
chemistry | ||
computer-architecture | ||
electronics | ||
engineering | ||
geometry | ||
logic | ||
machine-learning | ||
math | ||
medicine | ||
misc | ||
molecular-dynamics | ||
networking/sumo | ||
physics | ||
programming | ||
robotics |