new Coordinate(210, 10), new Coordinate(210, 110), new Coordinate(110, 110),
new Coordinate(110, 10) });
LinearRing hole = factory.createLinearRing(new Coordinate[] { new Coordinate(140, 40),
new Coordinate(170, 40), new Coordinate(170, 70), new Coordinate(140, 70),
new Coordinate(140, 40) });
Polygon polygon = factory.createPolygon(shell, new LinearRing[] { hole });
ShapeStyle style = new ShapeStyle("#9933EE", 0.5f, "#9900FF", 1, 2);
map.getVectorContext().drawPolygon(group2, "Polygon", polygon, style);
}
});
button3.setWidth100();