Andreas Dangel b78c7f2aa7 Merge branch 'java-7'

2015-11-29 22:11:44 +01:00

..

etc

…

src

Java 7 changes and some compiler warnings fixed

2015-11-25 22:06:18 +01:00

pom.xml

…