diff --git a/pandamonium-theorem-prover/build.gradle b/pandamonium-theorem-prover/build.gradle
index dc94101..9909528 100644
--- a/pandamonium-theorem-prover/build.gradle
+++ b/pandamonium-theorem-prover/build.gradle
@@ -74,8 +74,8 @@ dependencies {
 }
 
 test {
-    if (System.properties['test.profile'] != 'edu.msudenver.tsp.website.integrationTest') {
-        exclude '**/*edu.msudenver.tsp.website.integrationTest*'
+    if (System.properties['test.profile'] != 'integrationTest') {
+        exclude '**/*integrationTest*'
     } else {
         exclude '**/*edu/*'
     }
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/edu/msudenver/tsp/persistence/manager/ProofManager.java b/pandamonium-theorem-prover/persistence/src/main/java/edu/msudenver/tsp/persistence/manager/ProofManager.java
index 54115c4..b891add 100644
--- a/pandamonium-theorem-prover/persistence/src/main/java/edu/msudenver/tsp/persistence/manager/ProofManager.java
+++ b/pandamonium-theorem-prover/persistence/src/main/java/edu/msudenver/tsp/persistence/manager/ProofManager.java
@@ -1,11 +1,13 @@
 package edu.msudenver.tsp.persistence.manager;
 
 import edu.msudenver.tsp.persistence.dao.ProofDao;
-import lombok.AllArgsConstructor;
 import org.springframework.stereotype.Component;
 
 @Component
-@AllArgsConstructor
 class ProofManager {
     final private ProofDao proofDao;
+
+    ProofManager(final ProofDao proofDao) {
+        this.proofDao = proofDao;
+    }
 }