diff --git a/src/clobber/CMakeLists.txt b/src/clobber/CMakeLists.txt
index 384ae51824e..2e4803df7e2 100644
--- a/src/clobber/CMakeLists.txt
+++ b/src/clobber/CMakeLists.txt
@@ -25,7 +25,6 @@ target_link_libraries(clobber-lib
 )
 
 add_if_library(clobber-lib bv_refinement)
-add_if_library(clobber-lib java_bytecode)
 add_if_library(clobber-lib specc)
 add_if_library(clobber-lib php)
 
diff --git a/src/clobber/Makefile b/src/clobber/Makefile
index 74a133782c6..d9b9f09de1c 100644
--- a/src/clobber/Makefile
+++ b/src/clobber/Makefile
@@ -1,9 +1,9 @@
 SRC = clobber_main.cpp \
       clobber_parse_options.cpp \
       # Empty last line
+
 OBJ += ../ansi-c/ansi-c$(LIBEXT) \
        ../cpp/cpp$(LIBEXT) \
-       ../java_bytecode/java_bytecode$(LIBEXT) \
        ../linking/linking$(LIBEXT) \
        ../big-int/big-int$(LIBEXT) \
        ../goto-programs/goto-programs$(LIBEXT) \
diff --git a/src/goto-cc/CMakeLists.txt b/src/goto-cc/CMakeLists.txt
index 8259d960561..75b8a7f860c 100644
--- a/src/goto-cc/CMakeLists.txt
+++ b/src/goto-cc/CMakeLists.txt
@@ -19,7 +19,6 @@ target_link_libraries(goto-cc-lib
     langapi
 )
 
-add_if_library(goto-cc-lib java_bytecode)
 add_if_library(goto-cc-lib jsil)
 
 # Executable