Avoid a compilation error on Sun JDK 1.6.