Merge pull request #309 from tmorgner/master

Seems we still have not enabled JDK 1.7 language features.
Silence the performance logger in core.
We no longer generate the same number of ProgressMarkerBoxes as before.