On Mon, 5 Dec 2016, Gerald Pfeifer wrote: > Applied now, and more changes to follow later.
Done thusly, which removes quite a bit of the remaining bits. Remove java/port-files.html, java/port-signals.html, java/port-threads.html, java/libgcj-classpath-compare.html, java/merge-status.html and the java/compare and java/gui-compare subtrees. Gerald
