jvm target set to 1.7; release 2.5.1; fixes bug where 2.5.0 only ran on Java 8