} else if (obj instanceof ObjectIdentifierValue) {
oid = (ObjectIdentifierValue) obj;
if (oid.getSymbol() != null) {
os.print(oid.getSymbol().getName());
} else {
os.print(oid.toAsn1String());
}
} else if (obj instanceof StringValue) {
os.print(getQuote(obj.toString()));
} else {
os.print(obj.toString());