diff --git a/src/api/java/Solver.java b/src/api/java/Solver.java
index a1a852791..0370a9571 100644
--- a/src/api/java/Solver.java
+++ b/src/api/java/Solver.java
@@ -121,22 +121,6 @@ public class Solver extends Z3Object {
         }
     }
 
-    /**
-     * Load solver assertions from a file.
-     */
-    public void fromFile(String file) 
-    {
-        Native.solverFromFile(getContext().nCtx(), getNativeObject(), file);	
-    }
-
-    /**
-     * Load solver assertions from a string.
-     */
-    public void fromString(String str) 
-    {
-        Native.solverFromString(getContext().nCtx(), getNativeObject(), str);	
-    }
-
 
     /** 
      *  Assert multiple constraints into the solver, and track them (in the