Corrections to the lastly committed JavaDoc