// example from page 103

\javaSource "source/base";

\programVariables {
    Base o;
}

\problem {

 o!=null ->   \<{ Base.start(o); }\>Base.i=0

}