Property definitions

android $ StringCopyHashSet :: defaultinit
private class StringCopyHashSet
	var collection = new HashSet[String]
	fun add(element: JavaString) do collection.add element.to_s
end
lib/android/intent/intent_api10.nit:1327,1--1330,3