Merge "Move to JDK 13"