Sorry - that was IntelliJ inferring the names from the OpenJDK class files, I think. I hadn't noticed. Fixed throughout to be more standard form.