#35: remove Java 7 only annotation