Merge pull request #30 from JaroslavTulach/HtmlJava172

Documenting HTML/Java release 1.7.2
tree: b9267b4fc0bca6e5a4c0e054cd23db6c2ceaeb03
  1. jobs/
  2. meta/
  3. resources/
  4. vars/
  5. README