public void paintBorder(RenderingContext c, int additionalClearance) {
public void paintBorder(RenderingContext c, int additionalClearance, short mode) { int top = 0; if (mode == Layer.PAGED_MODE_SCREEN) { top = getPaintingTop(); }
    public void paintBorder(RenderingContext c, int additionalClearance) {        c.getOutputDevice().paintBorder(c,                 getStyle().getCalculatedStyle(),                getBorderEdge(additionalClearance, getPaintingTop(), c),                BorderPainter.ALL);    }