android/shared_preferences: import json_serialization privately

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

diff --git a/lib/android/shared_preferences/shared_preferences_api10.nit b/lib/android/shared_preferences/shared_preferences_api10.nit
index c78a09d..9a47e43 100644 (file)
--- a/lib/android/shared_preferences/shared_preferences_api10.nit
+++ b/lib/android/shared_preferences/shared_preferences_api10.nit
@@ -19,7 +19,7 @@ module shared_preferences_api10
 
 import native_app_glue
 import serialization
-import json_serialization
+private import json_serialization
 
 in "Java" `{
        import android.content.SharedPreferences;