public static void paintFocus(Graphics2D g, Shape shape, int pixelSize) {
        Color focusColor = getFocusRingColor();
        Color[] focusArray = new Color[] {
                new Color(focusColor.getRed(), focusColor.getGreen(), focusColor.getBlue(), 235),
                new Color(focusColor.getRed(), focusColor.getGreen(), focusColor.getBlue(), 130),
                new Color(focusColor.getRed(), focusColor.getGreen(), focusColor.getBlue(), 80)
        };
        if (JVM.usingQuartz) {
            g.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
            g.setRenderingHint(RenderingHints.KEY_STROKE_CONTROL, RenderingHints.VALUE_STROKE_PURE);
        } else {
            g.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
            g.setRenderingHint(RenderingHints.KEY_STROKE_CONTROL, RenderingHints.VALUE_STROKE_NORMALIZE);
        }

        g.setStroke(new BasicStroke((2 * pixelSize) + 1, BasicStroke.CAP_ROUND, BasicStroke.JOIN_ROUND));
        g.setColor(focusArray[2]);
        g.draw(shape);
        if (((2 * pixelSize) + 1) > 0) {
            g.setStroke(new BasicStroke(((2 * pixelSize) - 2) + 1, BasicStroke.CAP_ROUND, BasicStroke.JOIN_ROUND));
            g.setColor(focusArray[1]);
            g.draw(shape);
        }
        if ((((2 * pixelSize) - 4) + 1) > 0) {
            g.setStroke(new BasicStroke(((2 * pixelSize) - 4) + 1, BasicStroke.CAP_ROUND, BasicStroke.JOIN_ROUND));
            g.setColor(focusArray[0]);
            g.draw(shape);
        }
    }