Fix compilation under javac 1.6.