Support compilation using Java 1.7 compiler

Use diff -w to see the actual change at line 305.