aliases for switching between Java 6 and Java 7