|
|
|
|
|
|
|
|
w.write(tag.getTag()); |
|
|
w.write(tag.getTag()); |
|
|
w.write("\n"); |
|
|
w.write("\n"); |
|
|
|
|
|
|
|
|
w.write("tagger "); |
|
|
|
|
|
w.write(tag.getTagger().toExternalString()); |
|
|
|
|
|
w.write('\n'); |
|
|
|
|
|
|
|
|
if (tag.getTagger() != null) { |
|
|
|
|
|
w.write("tagger "); |
|
|
|
|
|
w.write(tag.getTagger().toExternalString()); |
|
|
|
|
|
w.write('\n'); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
w.write('\n'); |
|
|
w.write('\n'); |
|
|
w.write(tag.getMessage()); |
|
|
|
|
|
|
|
|
if (tag.getMessage() != null) |
|
|
|
|
|
w.write(tag.getMessage()); |
|
|
w.close(); |
|
|
w.close(); |
|
|
} catch (IOException err) { |
|
|
} catch (IOException err) { |
|
|
// This should never occur, the only way to get it above is |
|
|
// This should never occur, the only way to get it above is |