remove another Java 7 feature