// case 21:{URL v=rs.getURL(col);o=v;break;}
default: return null;
}
// fixup if it contains classname (remove "random" part after @)
String v = o.toString();
if (v.indexOf('@') != -1) { // non standard java object.
s += "Object' \t: "+prettyType(o);
} else {
// default stringifier...
s += "'"+v+"' \t: "+o.getClass().getName();
}