Don't clear selection if the text didn't change.
Don't do the work to clear if the set is empty.
Merge branch 'origin/master'
Use floats instead of ints

Fixes #1748
Add version selection, fix duplicate dependency, remove android dependency
Put box2d lights on snapshot for now, add warning for overwriting directory
Merge pull request #1750 from Tom-Ski/uipatch

Patch for the Setup. Remove android dependency. Add version Options.
1.2 Box2dLights release
Merge pull request #1747 from florianbaethge/master

Added Vector#interpolate(...) method to integrate different Interpolation methods for vectors.
Merge pull request #1751 from Tom-Ski/uipatch

1.2 Box2dLights release
Don't do the work to clear if the map is empty.
Merge branch 'origin/master'
Fixed compilation errors. (wth?)