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);
}
