diff --git a/java/src/main/java/org/jetbrains/research/boolector/moveH.sh b/java/src/main/java/org/jetbrains/research/boolector/moveH.sh
deleted file mode 100755
index a6e446b..0000000
--- a/java/src/main/java/org/jetbrains/research/boolector/moveH.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-
-JavaBoolector=$(pwd)
-javac -h . Native.java
-c=$JavaBoolector/../../../../../../../../c
-native=$JavaBoolector/org_jetbrains_research_boolector_Native.h
-if [ -f $native ] 
-then 
-mv $native $c/JavaBoolector.h
-fi