_writer.println (margin + " Encoding: " + s); s = _je.getTempDirectory (); if (s != null) { _writer.println (margin + " TempDirectory: " + s);
tempDir = je.getTempDirectory ();
_writer.println (margn2 + element ("encoding", s)); s = _je.getTempDirectory (); if (s != null ) { _writer.println (margn2 + element ("tempDirectory", s));