Download and integrate xstream in build.xml
XML Serialization with jettison
Added serialization test to DFA
Nice DFA serialization
(De-)Serialization of DFA working
Removed wrong import
Special Empty automaton defined, even though not needed for now
Merge branch 'XMLSerializationWithoutXStream'