Make it compile with Javac 1.7.0_51