Java build file, and refinements to the documentation