JDK 11 is now available in Repls but we are still stuck with JDK 8 in classrooms