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

        return new Envelope(env.getXMin(), env.getXMax(), env.getYMin(), env.getYMax());
    }