else { System.err.println("Frame.styleSheet == null!"); }
    protected void writeAdditionalHeaders(Device d, SFrame frame)        throws IOException    {        StyleSheet styleSheet = frame.getStyleSheet();        if (styleSheet != null) {            ExternalizeManager ext = frame.getExternalizeManager();            String link = null;            if (ext != null) {                try {                    link = ext.externalize(styleSheet);                }                catch (java.io.IOException e) {                    // dann eben nicht !!                    e.printStackTrace(System.err);                }            }            if (link != null) {                d.append("<link rel=\"stylesheet\" type=\"text/css\" href=\"");                d.append(link);                d.append("\" />");            }        }    }