Javadoc checked for nxt, GUI.java.