Small corrections due to tests

- JavaString is now hashable
- Use an integer-division reading annotations

Author: tcalmant

javaobj.py

@@ -315,6 +315,9 @@ class JavaString(str):
     """
     Represents a Java String
     """
+    def __hash__(self):
+        return str.__hash__(self)
+
     def __eq__(self, other):
         if not isinstance(other, str):
             return False
@@ -1421,7 +1424,7 @@ def transform(self, java_object):
             new_object = self.JavaMap()
             java_object.copy(new_object)
 
-            for i in range((len(java_object.annotations) - 1) / 2):
+            for i in range((len(java_object.annotations) - 1) // 2):
                 new_object[java_object.annotations[i * 2 + 1]] = \
                     java_object.annotations[i * 2 + 2]