fun get_string(key: JavaString, def_value: JavaString): JavaString in "Java" `{
		String return_value = null;
		try {
			return_value = self.getString(key, def_value);
		} catch (ClassCastException e) {
			return def_value;
		}

		return return_value;
	`}