Moved to Java 7.
Changed Travis-CI config.