Clean up the Java AST: Avoid sub-classes in favor of Enum#3803

wadoon wants to merge 4 commits into

mainKeYProject/key:mainfrom

weigl/javaastenumsKeYProject/key:weigl/javaastenumsCopy head branch name to clipboard