Added Java version check. Warn if < Java 7.

Also improved the Version interface (and subclasses).