#12, #11: Many Java docs and several improvings.