public void setPackage(String s) { s = parser.pack_replace(s); if (pack_name.length() > 0) pack_name = new String(s + "." + pack_name); else pack_name = s; type_spec.setPackage(s); declarators.setPackage(s); }