Update submodules
Add RecordDoubleDeclaration Test
Merge branch 'master' of github.com:swp-uebersetzerbau-ss13/crosstesting
Cleanup and javadoc