On the naming of Java releases