code: public void setUserPathPrefix(String prefix)
    {
      if (prefix != null && ! prefix.equals("") && ! prefix.endsWith("/"))
        _userPathPrefix = prefix + "/";
      else
        _userPathPrefix = prefix;
    }
docs: Sets the user-path prefix for better error reporting.