Moving from java 1.8 to 1.7 as a requirement
Moving from java 1.8 to 1.7 as a requirement
Merge branch 'master' of github.com:kicktipp/AutoDeriv
Merge pull request #2 from kicktipp/master

Plugin requires java 7 (1.7) instead of java 8 (1.8)