Misc edits

Author: mikera

convex-gui/src/main/java/convex/gui/models/OracleTableModel.java

@@ -1,7 +1,5 @@
 package convex.gui.models;
 
-import javax.swing.table.TableModel;
-
 import convex.core.cvm.State;
 import convex.core.data.ACell;
 import convex.core.data.AMap;
@@ -16,7 +14,7 @@
  * Model for the Oracle table
  */
 @SuppressWarnings("serial")
-public class OracleTableModel extends BaseTableModel implements TableModel {
+public class OracleTableModel extends BaseTableModel {
 
 	private State state;
 	private Address oracle;