code: public ManagedProcess dumpXML(File outputFile, String dbName, String user, String password)
              throws IOException, ManagedProcessException {
          return dump(outputFile, Arrays.asList(dbName), true, true, true, user, password);
      }
docs: unexpected deadlock).