fun get_double_array(key: JavaString): Array[Float]
		import Array[Float], Array[Float].add in "Java" `{
		double[] java_array = self.getDoubleArray(key);
		NitObject nit_array = new_Array_of_Float();

		if (java_array == null) return nit_array;

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

		return nit_array;
	`}