void (IterationState iterationState, Graphics g, Point position, Rectangle clip, int lineHeight) { Color backColor = iterationState.getPastFileEndBackground(); if (backColor != null) { Color saved = g.getColor(); g.setColor(backColor); g.fillRect(position.x, position.y, clip.x + clip.width - position.x, lineHeight); g.setColor(saved); } }