String defEnc = _base.getEncoding (); if (defEnc != null) { encItems.add (defEnc);
_writer.println (margin + " JhoveHome: " + s); s = _je.getEncoding (); if (s != null) { _writer.println (margin + " Encoding: " + s);
encoding = je.getEncoding ();
_writer.println (margn2 + element ("jhoveHome", s)); s = _je.getEncoding (); if (s != null ) { _writer.println (margn2 + element ("encoding", s));