Solves compilation problem with Java 7