// checks Otherwise clause

package ext12;

SoUrCe  ext12 "ext12.jak";

 abstract

 State_machine root$$ext12 {

  Otherwise_default { /* do something */ }

}

SoUrCe  ext12 "ext12.jak";

 State_machine root extends root$$ext12 {

  Otherwise_default { /* do something */ }

}