Merge
Merge
Merge branch 'dev' of https://github.com/genericsystem/genericsystem2014.git into dev
Merge branch 'dev' of https://github.com/genericsystem/genericsystem2014.git into dev
Optimize dependencies for get and contains
Merge branch 'dev' of https://github.com/genericsystem/genericsystem2014.git into dev