code: function _jsifyCollection(javaCollection) {
          var arr = [];
          var it = javaCollection.iterator();
          while (it.hasNext()) {
              var elem = it.next();
              var obj = jsify(elem);
              arr.push(obj);
          }
          return arr;
      }
docs: ### `_jsifyCollection(javaCollection: Java.Collection)` Turn a Java Collection into a JavaScript array, recursively calling jsify.