CMake should now include the java source in jar files, when compiling with -DJAVA=ON
CMake should now include the java source in jar files, when compiling with -DJAVA=ON

sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat