fix Shrike to depend on Java 7