Enforcing Java 7