repackaged version of JavaBDD and JDD to push it to maven