Making it compile on JDK6