Alex Ott 0b9b243e62 use Java 12 everywhere ... the `docsys` module did use Java 12 for it, while the rest was compiled for Java 11. As we're packing with Java 12 anyway, let switch to it for everything.		2020-03-19 12:26:54 +01:00
..
bin	restructuring	2020-02-25 12:18:16 -06:00
src	doc updates and build fixes	2020-03-17 14:40:50 -05:00
pom.xml	use Java 12 everywhere	2020-03-19 12:26:54 +01:00