Android SharedPreferences interface for JavaScript.