Move to Java 7 and diamond operator in carstore

Since GWT 2.6 now has Java 7 as a default, we can now switch to Java 7, as suggested in #229 .
Also, I applied the diamond operator in the carstore.