\javaSource "java";

\functions {
	AbstractCollection a;

	AbstractList ord(AbstractCollection);
	List rev(List);
}

\problem {
	ord(a) = a -> rev(ord(a)) = rev((List) a)
}