poly.addPoint(tx + tileSize.width / 2 + border, ty + border); poly.addPoint(tx + tileSize.width, ty + tileSize.height / 2 + border); poly.addPoint(tx + tileSize.width / 2 + border, ty + tileSize.height + border); poly.addPoint(tx + border, ty + tileSize.height / 2 + border);
poly.addPoint((tx + tileSize.width / 2 + border), ty + border); poly.addPoint((tx + tileSize.width), ty + tileSize.height / 2 + border); poly.addPoint((tx + tileSize.width / 2 + border), ty + tileSize.height + border); poly.addPoint((tx + border), ty + tileSize.height / 2 + border);
    private Polygon createGridPolygon(int tx, int ty, int border) {        Dimension tileSize = getTileSize(zoom);        tileSize.width -= border * 2;        tileSize.height -= border * 2;        Polygon poly = new Polygon();        poly.addPoint(tx + tileSize.width / 2 + border, ty + border);        poly.addPoint(tx + tileSize.width, ty + tileSize.height / 2 + border);        poly.addPoint(tx + tileSize.width / 2 + border, ty + tileSize.height + border);        poly.addPoint(tx + border, ty + tileSize.height / 2 + border);        return poly;    }