Timo Kaufmann 0141cfefbc maven: make jdk overridable ... This makes it possible to use maven with different (newer) jdks. Fixes #75630		2020-02-21 14:26:33 +01:00
..
builder.sh	maven: make jdk overridable	2020-02-21 14:26:33 +01:00
default.nix