Fix a Java7 compilation problem