Added javac options (java-1.7); and disabled docs publishing