// tests composition of extensions that reference methods

package ext111;

import firstPackage.*;

SoUrCe  ext111 "ext111.jak";

 abstract

 State_machine root$$ext111 {

   void fromext11() { }
}

SoUrCe  ext114 "ext114.jak";

 State_machine root extends root$$ext111 {

   States h1;

   Exit h1 { Super().fromext11(); }

   void fromext14() { }
}