TODO for JavaStyle
------------------

* include "keep.all.javadoc" if it is no longer buggy
* screen is not updated during reformat (busy cursor is not shown)
