diff --git a/examples/ictf2017_javaisnotfun/solve.py b/examples/ictf2017_javaisnotfun/solve.py
index c34d6f5..66f8b85 100644
--- a/examples/ictf2017_javaisnotfun/solve.py
+++ b/examples/ictf2017_javaisnotfun/solve.py
@@ -7,7 +7,6 @@
 from archinfo.arch_soot import SootMethodDescriptor, SootAddressDescriptor
 from  angr.storage.file import Flags
 import claripy
-from claripy.backends.backend_smtlib_solvers import z3str_popen  # pylint:disable=unused-import
 
 
 # This is a solution for the challenge javaisnotfun at ictf2017
diff --git a/examples/java_androidnative1/solve.py b/examples/java_androidnative1/solve.py
index a8442bb..e30be1c 100644
--- a/examples/java_androidnative1/solve.py
+++ b/examples/java_androidnative1/solve.py
@@ -4,7 +4,6 @@
 from angr.procedures.java import JavaSimProcedure
 from angr.engines.soot.values import SimSootValue_ThisRef
 from archinfo.arch_soot import SootArgument, SootMethodDescriptor
-from claripy.backends.backend_smtlib_solvers import z3str_popen  # pylint:disable=unused-import
 
 
 file_dir = os.path.dirname(os.path.realpath(__file__))
diff --git a/examples/java_crackme1/solve.py b/examples/java_crackme1/solve.py
index b4d8368..8a90b5e 100644
--- a/examples/java_crackme1/solve.py
+++ b/examples/java_crackme1/solve.py
@@ -4,8 +4,6 @@
 import logging
 import subprocess
 
-from claripy.backends.backend_smtlib_solvers import z3str_popen  # pylint:disable=unused-import
-
 self_dir = os.path.dirname(os.path.realpath(__file__))
 
 def test_java_crackme1():
diff --git a/examples/java_simple3/solve.py b/examples/java_simple3/solve.py
index b284c5a..d0276c8 100644
--- a/examples/java_simple3/solve.py
+++ b/examples/java_simple3/solve.py
@@ -3,7 +3,6 @@
 import angr
 import logging
 
-from claripy.backends.backend_smtlib_solvers import z3str_popen  # pylint:disable=unused-import
 
 self_dir = os.path.dirname(os.path.realpath(__file__))
 
diff --git a/examples/java_simple4/solve.py b/examples/java_simple4/solve.py
index 730263b..a9ae5ca 100644
--- a/examples/java_simple4/solve.py
+++ b/examples/java_simple4/solve.py
@@ -3,7 +3,6 @@
 import angr
 import logging
 
-from claripy.backends.backend_smtlib_solvers import z3str_popen  # pylint:disable=unused-import
 
 self_dir = os.path.dirname(os.path.realpath(__file__))