标签： java mongodb polygon geojson expand
我希望将相同形状的GeojsonPolygon的大小加倍。
我已经研究了一些Java地理库（如JTS），但它没有我想要的东西。
任何线索，您可能知道的库吗？