void (Graphics2D g2d, Rectangle rc) { g2d.setColor(PlatformColors.BLUE); g2d.setStroke(new BasicStroke(2.5f)); // give space for stroke to be painted g2d.drawRect(rc.x+1, rc.y+1, rc.x+rc.width-2, rc.y+rc.height-2); }