\javaSource "java";

\functions {
	List c;

}

\problem {
	\forall List l; ArrayList::instance(l) = TRUE
}