Norman Maurer 0d37b06bc8 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:55:01 +01:00
..
src	Update JDK12 and 13 to latest EA releases. (#8809)	2019-02-28 13:55:01 +01:00
pom.xml	Correcting Maven Dependencies (#8622)	2018-12-06 09:02:00 +01:00