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
Merge branch 'dev' of https://github.com/genericsystem/genericsystem2014.git into dev
Merge branch 'dev' of https://github.com/genericsystem/genericsystem2014.git into dev
Merge branch 'dev' of https://github.com/genericsystem/genericsystem2014.git into dev
Merge branch 'dev' of https://github.com/genericsystem/genericsystem2014.git into dev
Remove unused declarations
Merge branch 'dev' of https://github.com/genericsystem/genericsystem2014.git into dev