fixes #79 (#117 #127)
Merge branch 'feature/pull_request_ide' of github.com:Catrobat/Catty into development