Notes on the Java SE Platform, the OpenJDK Project, and the JCP