Merge pull request #30 from JaroslavTulach/HtmlJava172

Documenting HTML/Java release 1.7.2