Require Java 7

- Java 6 is at end of life already and its planned to require Java 7 for
fred soon anyway.
- I found a place in the code where the Java 7 "catch(Type1 | Type2 e)"
feature would be nice. The following commit will put it to use.