public String getNamespace() { return(@namespace.getNamespace()); }
public String getNamespace() { String str = @namespace.getNamespace(); return((str != null) ? str : ""); }