Oops. Fix build on JDK 1.6 and 1.7.