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
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
Overrides errors in equals, equiv etc...
Merge branch 'dev' of
https://github.com/genericsystem/genericsystem2014.git into dev

Conflicts:
	gs-kernel/src/main/java/org/genericsystem/kernel/AbstractVertex.java
	gs-kernel/src/main/java/org/genericsystem/kernel/DefaultRoot.java