fun get_long(key: JavaString, def_value: Int): Int in "Java" `{
		long return_value;
		try {
			return_value = self.getLong(key, def_value);
		} catch (ClassCastException e) {
			return def_value;
		}

		return (int) return_value;
	`}