Javadocs and minor changes to the GUI/Driver classes.