doc.markers.editRemove( this, mark, ce );
doc.markers.editAdd( this, new MarkerStake( positionSmps, ggMarkName.getText() ), ce );
}
catch( IOException e1 ) { // should never happen
System.err.println( e1 );
ce.cancel();
return;
}
finally {
doc.markers.editEnd( ce );
}