Closed feature requests: 544505, 552825, 537227
Implemented select-all menu feature in request ...
Fixed accidental change of useDebug flag in Def...
Implemented feature request 511414. Added suppo...
Fixed DrJava to empty undo/redo history when re...
Updated package.html associated with indent lib...
Fixed bug 565849.
Added additional syntax higlighting for request...