Gwtphonegap3.5 geolocation

No API changes. Just some housekeeping.