Now that we have a CI job for Java 14 and Java 13 is effectively EOL, let's remove that CI job.