code: @Override
      public Map<String, String> defaultParameters() {
          Map<String, String> dp = new HashMap<>();
          dp.put("0", "jdi");
          for (int i = 1; i <= 9; ++i) {
              dp.put("" + i, "");
          }
          return dp;
      }
docs: Create and return the default parameter map for this
  {@code ExecutionControlProvider}. There are ten parameters, "0" through
  "9", their values are {@code ExecutionControlProvider} specification
  strings, or empty string.
  
  @return a default parameter map