debian/control

@@ -8,6 +8,7 @@ Build-Depends:
  ant,
  debhelper (>= 12),
  default-jdk,
+ javacc,
  javahelper (>= 0.72.9),
  junit,
  libjama-java,

debian/rules

@@ -15,6 +15,10 @@ JQUERY_DIR = $(CURDIR)/debian/libjep-java-doc/usr/share/doc/libjep-java-doc/api/
 	dh $@ --with javahelper
 
 override_dh_auto_build:
+	mkdir debian/old
+	mv src/org/nfunk/jep/Token.java src/org/nfunk/jep/TokenMgrError.java \
+		src/org/nfunk/jep/JavaCharStream.java src/org/nfunk/jep/ParseException.java \
+		debian/old/
 	dh_auto_build -- jar javadoc
 
 ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
@@ -35,5 +39,6 @@ override_dh_installdocs:
 	ln -fs /usr/share/javascript/jquery-ui/jquery-ui.min.js ${JQUERY_DIR}/jquery-ui.min.js
 
 override_dh_clean:
-	rm -rf doc/javadoc
+	-find debian/old -name '*.java' | xargs -i mv {} src/org/nfunk/jep/
+	rm -rf doc/javadoc debian/old
 	dh_clean