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