code: @Override
    public String[] getOptions() {
      List<String>    	result;
  
      result = new ArrayList<String>();
  
      if (getDebug())
        result.add("-D");
  
      return result.toArray(new String[result.size()]);
    }
docs: returns the options of the current setup.
  
  @return		the current options