code: public static String getServerName() {
  		String name = System.getProperty(PDB_FILE_SERVER_PROPERTY);
  
  		if ( name == null || name.trim().isEmpty()) {
  			name = DEFAULT_PDB_FILE_SERVER;
  			logger.debug("Using default PDB file server {}",name);
  		} else {
  			if (!name.startsWith("http://") && !name.startsWith("ftp://") && !name.startsWith("https://")) {
  				logger.warn("Server name {} read from system property {} does not have a leading protocol string. Adding http:// to it", name, PDB_FILE_SERVER_PROPERTY);
  				name = "http://"+name;
  			}
  			logger.info("Using PDB file server {} read from system property {}", name, PDB_FILE_SERVER_PROPERTY);
  		}
  		return name;
  	}
docs: Return the String with the PDB server name, including the leading protocol
  String (http:// or ftp://).
  The server name will be by default the value {@value #DEFAULT_PDB_FILE_SERVER} or the one
  read from system property {@value #PDB_FILE_SERVER_PROPERTY}
  
  @return the server name including the leading protocol string