new BasicStroke(1, BasicStroke.JOIN_ROUND, BasicStroke.CAP_ROUND, 1,
new BasicStroke(_thickness, BasicStroke.JOIN_ROUND, BasicStroke.CAP_ROUND, 1,
    private void strokeStyled(Shape shape)    {      // XXX: this is slightly off... by a pixel or two somewhere      for(int i=0; i<_style.length; i++)	{	  _graphics.setColor(intToColor(_style[i]));	  Stroke stroke =	    new BasicStroke(1, BasicStroke.JOIN_ROUND, BasicStroke.CAP_ROUND, 1,			    new float[] { 1, _style.length-1 },			    i);	  _graphics.setStroke(stroke);	  _graphics.draw(shape);	}    }