class PenStroke extends Stroke implements FillNode {

    public void setWidth(RealParameter width) {
        this.width = width == null ? new RealLiteral(DEFAULT_WIDTH) : width;
        if (width != null) {
            width.setContext(RealParameterContext.NON_NEGATIVE_CONTEXT);
            width.setParent(this);
        }
    }

    public  PenStroke();
    public  PenStroke(PenStrokeType t);
    public  PenStroke(JAXBElement<PenStrokeType> s);

}