public void add_tag(String tag, String contents) { if(contents==null) contents=""; add(tag+"="+contents); }