code: private static boolean polygonWithinEnvelope_(Polygon polygon_a,
  			Envelope envelope_b, double tolerance,
  			ProgressTracker progress_tracker) {
  		Envelope2D env_a = new Envelope2D(), env_b = new Envelope2D();
  		polygon_a.queryEnvelope2D(env_a);
  		envelope_b.queryEnvelope2D(env_b);
  		return envelopeInfContainsEnvelope_(env_b, env_a, tolerance);
  	}
docs: Returns true if polygon_a is within envelope_b