Added javadoc comments for MainForm class, and regenerated docs