96979899100101102103104105106
} } public WrappedInputLog( String pathname ) { old_dobj_ins = new PipedInputLog( pathname ); /* Using Map to convert old to new is slow, but avoid exposing the internal of the classes. */ kind_map = new HashMap();