Intermediate commit for UndoManager
Intermediate commit for UndoManager
implement RecordImpl.toString()
bump to v7.4.4.
Introduced GraphChangeListener.
Bugfix in ParallelGreqlEvaluator.
Sequential evaluation caused executor to reject tasks in
some cases.
Merge branch 'master' of github.com:jgralab/jgralab
Merge branch 'undo' of github.com:jgralab/jgralab into undo

Conflicts:
	src/de/uni_koblenz/jgralab/Graph.java
	src/de/uni_koblenz/jgralab/impl/GraphBaseImpl.java
	src/de/uni_koblenz/jgralab/utilities/gui/undo/GraphUndoManager.java
	testit/de/uni_koblenz/jgralabtest/undo/UndoTest.java
Merge branch 'master' into undo
Change due to openjdk6 compatibility.
Change due to openjdk6 compatibility.
Changes due to openjdk6 compatibility.
Incidence order preserved by delete vertex/edge edits.
Combine cascading deletes of composite child nodes.
Added notification on incidence order change.
GraphUndoManager now respects incidence order.
Refactorings and comments added.
More comments, added license headers.
Added getUndo/RedoPresentationName methods.
Copied from AbstractUndoableEdit, otherwise this would require an
illegal super.super call...
Fix problems with default values.
Now, GraphChangeListeners are disabled during initialization of default
values.