Add xml style
Merge branch 'master' of robinson.informatik.uni-bremen.de:awe11
Fix bugs in file options