Modified TGMerge to handle graphs with different versions of a schema. Used to convert graphs with an old schema version into graphs conforming to the current schema version.
Merge branch 'master' of ssh://github.com/jgralab/jgralab