String text = newTypeLine.toFormattedString();
for ( int j = 0; j < newAttrValLines.length; j++ )
{
text += newAttrValLines[j].toFormattedString();
}
text += newSepLine.toFormattedString();
try
{
document.replace( modSpec.getOffset(), modSpec.getLength(), text );
}
catch ( BadLocationException e )