Move classes into separate files#875

keyboardDrummer merged 3 commits intoboogie-org:masterboogie-org/boogie:masterfrom

keyboardDrummer:moveClassesIntoSeparateFileskeyboardDrummer/boogie:moveClassesIntoSeparateFilesCopy head branch name to clipboard