getBorderEdge(additionalClearance, getPaintingTop(), c),
getBorderEdge(additionalClearance, top, c),
    public void paintBorder(RenderingContext c, int additionalClearance) {        c.getOutputDevice().paintBorder(c,                 getStyle().getCalculatedStyle(),                getBorderEdge(additionalClearance, getPaintingTop(), c),                BorderPainter.ALL);    }