Merge branch 'hotfix/putInt_for_setPrefInt' into develop

Author: rhariady

CHANGELOG.md

@@ -9,6 +9,11 @@
 ### Dependency
 * Google Play services client library 
 
+## v3.3.3 (2015-04-02)
+
+### Fixed
+* Fix setPrefInt in SenseServiceStub to use putInt instead of putFloat
+
 ## v3.3.2 (2015-03-02)
 
 ### Changed

sense-android-library/src/nl/sense_os/service/SenseServiceStub.java

@@ -263,7 +263,7 @@ public void setPrefInt(String key, int value) {
                 Context.MODE_PRIVATE);
 
         // store value
-        boolean stored = prefs.edit().putFloat(key, value).commit();
+        boolean stored = prefs.edit().putInt(key, value).commit();
         if (stored == false) {
             Log.w(TAG, "Preference " + key + " not stored!");
         }