Fix compile failures

tlatools/src/tlc2/tool/liveness/NoopLivenessStateWriter.java

@@ -25,6 +25,7 @@
  ******************************************************************************/
 package tlc2.tool.liveness;
 
+import tlc2.tool.Action;
 import tlc2.tool.TLCState;
 import tlc2.util.BitVector;
 
@@ -96,6 +97,13 @@ public class NoopLivenessStateWriter implements ILivenessStateWriter {
 		// noop
 	}
 
+	/* (non-Javadoc)
+	 * @see tlc2.util.IStateWriter#writeState(tlc2.tool.TLCState, tlc2.tool.TLCState, boolean, tlc2.tool.Action)
+	 */
+	public void writeState(TLCState state, TLCState successor, boolean successorStateIsNew, Action action) {
+		// noop
+	}
+
 	/* (non-Javadoc)
 	 * @see tlc2.util.IStateWriter#getDumpFileName()
 	 */

tlatools/src/tlc2/util/NoopStateWriter.java

@@ -25,6 +25,7 @@
  ******************************************************************************/
 package tlc2.util;
 
+import tlc2.tool.Action;
 import tlc2.tool.TLCState;
 
 public final class NoopStateWriter implements IStateWriter {
@@ -72,6 +73,13 @@ public final class NoopStateWriter implements IStateWriter {
 		// noop
 	}
 
+	/* (non-Javadoc)
+	 * @see tlc2.util.IStateWriter#writeState(tlc2.tool.TLCState, tlc2.tool.TLCState, boolean, tlc2.tool.Action)
+	 */
+	public void writeState(TLCState state, TLCState successor, boolean successorStateIsNew, Action action) {
+		// noop
+	}
+
 	/* (non-Javadoc)
 	 * @see tlc2.util.IStateWriter#isNoop()
 	 */