modified:   src/android/fm/ex/android/SettingsPlugin.java