Polished progress monitor documentation
Typo in javadoc
Undo of an unintended change to IDEA project config