Norman Maurer d3d0b6478b Update JDK12 and 13 to latest EA releases. (#8809) ... Motivation: We use outdated EA releases when building and testing with JDK 12 and 13. Modifications: - Update versions. - Add workaround for possible JDK12+ bug. Result: Use latest releases		2019-02-28 13:54:04 +01:00
..
src	Update JDK12 and 13 to latest EA releases. (#8809)	2019-02-28 13:54:04 +01:00
pom.xml	[maven-release-plugin] prepare for next development iteration	2019-01-21 12:26:44 +00:00