Fix compilation for JDK6