// example from page 104

\javaSource "source/formulas";

\programVariables { 
  int c;
}

\problem {

{ArrayList.sal:=null}\<{ ArrayList.demo2(ArrayList.sal); }\>ArrayList.j=1

}