text: public HeaderLineParser(String[] header) {super(header);posToF = new FieldName[header.length];for (int i=0; i<header.length; i++) {String f = header[i];if (DocMaker.NAME_FIELD.equals(f)) {posToF[i] = FieldName.NAME;} else if (DocMaker.TITLE_FIELD.equals(f)) {posToF[i] = FieldName.TITLE;} else if (DocMaker.DATE_FIELD.equals(f)) {posToF[i] = FieldName.DATE;} else if (DocMaker.BODY_FIELD.equals(f)) {posToF[i] = FieldName.BODY;} else {posToF[i] = FieldName.PROP;}}}