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	maven: 3.6.2 -> 3.6.3	2019-12-08 08:09:07 -08:00