Merge the following from the English version:

1.7 -> 1.10 java/dists/14.sgml
(new) -> 1.1 java/dists/15.sgml
1.5 -> 1.6 java/dists/Makefile
1.7 -> 1.8 java/dists/index.sgml

Submitted by: Hiroo Ono <hiroo at oikumene dot gcd dot org>
Reference: [doc-jp-work 1056]