Noted -- I wanted to change that to Java 7 compliance in any case.