Updated references to several GUI classes that received type arguments in Java 7. Ensured that scanners that read files were closed after use in MainWindow.java and Theorem.java. (I recently upgraded Eclipse to version 4.3 Kepler and it was giving warnings for these.)