#10: document and update dump-server and java-dump-server goals