sclass RegionBoundsPainter is RegionPainter {
  int lineWidth = 3;

  publicvoid drawRegion(FastRegions_BWImage regions, int iRegion, Graphics2D g) {
    Rect r = regions.regionBounds(iHighlightedRegion);
    g.setColor(withOpacity(.75, Color.red));
    temp tempSetStroke(g, new BasicStroke(lineWidth));
    drawRect(g, growRectTopAndLeft(scaleRect_floor(growRectRightAndBottom(r), is.getZoomX(), is.getZoomY())));
  }
}