Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language