Merge
Merge branch 'dev' of https://github.com/genericsystem/genericsystem2014.git into dev
Improve Generics in concurrency