7879808182838485868788
if (cs == null) { cs = newCase( e ); } cs.addStatement( s ); } public Vector getCases() { return _caseStatements;