build against Java 7