diff --git a/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableElementView.java b/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableElementView.java
index 0c75cb706..4325cb17f 100644
--- a/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableElementView.java
+++ b/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableElementView.java
@@ -4,7 +4,7 @@
 import edu.rpi.legup.ui.boardview.GridElementView;
 import java.awt.*;
 import org.jetbrains.annotations.Contract;
-import org.jetbrains.annotations.NotNull;
+
 
 public class ShortTruthTableElementView extends GridElementView {
 
@@ -30,7 +30,7 @@ public ShortTruthTableElementView(ShortTruthTableCell cell) {
      * @return PuzzleElement associated with this view
      */
     @Override
-    public @NotNull ShortTruthTableCell getPuzzleElement() {
+    public ShortTruthTableCell getPuzzleElement() {
         return (ShortTruthTableCell) super.getPuzzleElement();
     }
 
diff --git a/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableExporter.java b/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableExporter.java
index 4c771e029..ed82796f4 100644
--- a/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableExporter.java
+++ b/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableExporter.java
@@ -4,17 +4,17 @@
 import edu.rpi.legup.model.gameboard.PuzzleElement;
 import org.w3c.dom.Document;
 import org.jetbrains.annotations.Contract;
-import org.jetbrains.annotations.NotNull;
+
 
 public class ShortTruthTableExporter extends PuzzleExporter {
 
-    public ShortTruthTableExporter(@NotNull ShortTruthTable stt) {
+    public ShortTruthTableExporter( ShortTruthTable stt) {
         super(stt);
     }
 
     @Override
     @Contract(pure = true)
-    protected @NotNull org.w3c.dom.Element createBoardElement(Document newDocument) {
+    protected  org.w3c.dom.Element createBoardElement(Document newDocument) {
         ShortTruthTableBoard board;
         if (puzzle.getTree() != null) {
             board = (ShortTruthTableBoard) puzzle.getTree().getRootNode().getBoard();
diff --git a/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableImporter.java b/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableImporter.java
index 75716f54b..c52b066cf 100644
--- a/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableImporter.java
+++ b/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableImporter.java
@@ -16,7 +16,7 @@
 
 class ShortTruthTableImporter extends PuzzleImporter {
 
-    public ShortTruthTableImporter(@NotNull ShortTruthTable stt) {
+    public ShortTruthTableImporter( ShortTruthTable stt) {
         super(stt);
     }
 
diff --git a/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableView.java b/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableView.java
index c98d529ef..34f104669 100644
--- a/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableView.java
+++ b/src/main/java/edu/rpi/legup/puzzle/shorttruthtable/ShortTruthTableView.java
@@ -8,7 +8,7 @@
 
 public class ShortTruthTableView extends GridBoardView {
 
-    public ShortTruthTableView(@NotNull ShortTruthTableBoard board) {
+    public ShortTruthTableView( ShortTruthTableBoard board) {
         super(new BoardController(), new ShortTruthTableController(), board.getDimension());
 
         for (PuzzleElement puzzleElement : board.getPuzzleElements()) {