public void setStroke(Stroke s) {
   strokeIndex = StrokeGenerator.getStrokeIndex(s);
 }
 public void setDelimiterLineStroke(Stroke s) {
   delimiterStrokeIndex = StrokeGenerator.getStrokeIndex(s);
 }