Bumped most framework code to Java 7.

Fixed a bug related to type inference.  Fixed Java 7 bugs.

Polyglot can compile itself in Java 7.