public object readObj(Map options) { InStream ins = @in(); try { return(ins.readObj(options)); } finally { ins.close(); } }