Is there an way to add additional permissions to the default AndroidManifest.xml generated by the PDE in Android Mode?  We would like to use Processing with GPS capability in an intro CS course ... and need to enable the  <uses-permission android:name="android.permission.ACCESS_COURSE_LOCATION"/> and <uses-permission android:name="android.permission.ACCESS_FINE_LOCATION"/> in the manifest.

We see that issue 275 addresses a future GUI for editing permissions ... just wondering if there was a stop gap measure now if students wanted to added other permissions.

Thanks in advance.