Bug fix #91: Android plugin, Circle.setRadius doesn't seem to work