if (s == null) return;
if (s == null) { return; }
    public static void write(Device d, String s) throws IOException {        if (s == null) return;        if ((s.length() > 5) && (s.startsWith("<html>"))) {            writeRaw(d, s.substring(6));        } else {            quote(d, s, false);        }    }