Removed Java 7 diamonds