Merge branch 'master' of
https://github.com/genericsystem/genericsystem2011.git
Merge branch 'master' of https://github.com/genericsystem/genericsystem2011.git
Merge branch 'master' of https://github.com/genericsystem/genericsystem2011.git
Change to java 8
Nothing
Merge branch 'master' of https://github.com/genericsystem/genericsystem2011.git
Nothing
Nothing
Nothing