Polygon: apply the edge stroke also to the fill

This leads also to better rendering on paths that are used in drawing characters.

src/net/sf/jcgm/core/PolygonElement.java

@@ -73,11 +73,11 @@ public String toString() {
 	public void paint(CGMDisplay d) {
     	Graphics2D g2d = d.getGraphics2D();
 
+		g2d.setStroke(d.getEdgeStroke());
     	d.fill(this.polygon);
 
     	if (d.drawEdge()) {
     		g2d.setColor(d.getEdgeColor());
-    		g2d.setStroke(d.getEdgeStroke());
     		g2d.draw(this.polygon);
     	}
     }