presto-main/src/main/java/io/prestosql/operator/PagesSpatialIndexSupplier.java/PagesSpatialIndexSupplier/getEnvelope
class PagesSpatialIndexSupplier:    private static Envelope getEnvelope(OGCGeometry ogcGeometry, double radius)
    {
        com.esri.core.geometry.Envelope envelope = new com.esri.core.geometry.Envelope();
        ogcGeometry.getEsriGeometry().queryEnvelope(envelope);

        return new Envelope(envelope.getXMin() - radius, envelope.getXMax() + radius, envelope.getYMin() - radius, envelope.getYMax() + radius);
    }