Travis and appveyor already support Java 13, so we have to set up a build with it. This is a prerequisite for #7103.
Travis and appveyor already support Java 13, so we have to set up a build with it.
This is a prerequisite for #7103.