Fixes 2136: music keeps playing
Addendum to #2136 - remove selectors
Merge pull request #2296 from mikemee/master

Fixes 2136: music keeps playing
Merge pull request #2291 from Tom-Ski/master

Use source.properties file for versions
Formatting
Add isDrawContact and setDrawContact methods to gwt emu, fixes #2301