Merge
Merge branch 'master' of https://github.com/genericsystem/genericsystem2014.git
Fixed an issue in LifeManager.getAlive() : use getVertex() instead of
unwrap. testNonFlushedModificationsAreNotAvailableInNewCacheOk pass.