Intermediate commit for UndoManager
Intermediate commit for UndoManager
Introduced GraphChangeListener.
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.
bump minor