Move to JDK 13