Was the decision to release Java 7 earlier by pushing some enhancements into Java 8 a good one?