Arnout Engelen ed5b9cce76 maven: use default jdk ... While builds using maven are relatively likely to target jdk8, they typically support building using default jdk. The main exception is the default jdk no longer supports targeting JRE's before version 8. For projects that do that we can override the jdk version for the maven used there.		2021-02-23 09:22:40 +01:00
..
default.nix	maven: use default jdk	2021-02-23 09:22:40 +01:00