public void setPackage(String s) { s = parser.pack_replace(s); if (pack_name.length() > 0) pack_name = s + "." + pack_name; else pack_name = s; opTypeSpec.setPackage(s); for (Enumeration e = paramDecls.elements(); e.hasMoreElements(); ((ParamDecl) e.nextElement()).setPackage(s)) ; raisesExpr.setPackage(s); }