DroidPlanner/droidplanner — pull request #745 by arthurbenemann (2014-05-06 17:35:13+00:00)
Title: Map Interface refactoring ( to-merge branch)

Just getting #740 up-to date with master for a merge.