fun put_string_array(key: JavaString, value: Array[JavaString])
	  import Array[JavaString].length, Array[JavaString].[] in "Java" `{
		String[] java_array = new String[(int)Array_of_JavaString_length(value)];

		for(int i=0; i < java_array.length; ++i)
			java_array[i] = Array_of_JavaString__index(value, i);

		self.putStringArray(key, java_array);
	`}