Merge the following from the English version:
1.13 -> 1.14 java/index.sgml
1.7 -> 1.8 java/install.sgml
1.15 -> 1.16 java/dists/12.sgml
1.10 -> 1.11 java/dists/13.sgml
(new) -> 1.1 java/dists/14.sgml
1.4 -> 1.5 java/dists/Makefile
1.5 -> 1.6 java/dists/index.sgml