fun put_string_set(key: JavaString, value: HashSet[JavaString]): NativeSharedPreferencesEditor
		import HashSet[JavaString], HashSet[JavaString].iterator, Iterator[JavaString].is_ok,
		Iterator[JavaString].item, Iterator[JavaString].next in "Java" `{
		Set<String> java_set = new HashSet<String>();
		nit.app.NitObject itr = HashSet_of_JavaString_iterator(value);

		while (Iterator_of_JavaString_is_ok(itr)) {
			java_set.add(Iterator_of_JavaString_item(itr));
			Iterator_of_JavaString_next(itr);
		}

		return self.putStringSet(key, java_set);
	`}