currentDir = defaultPath;  currentPath = new ArrayList();   String epicsIncludePath = System.getProperty(NAME_EPICS_DB_INCLUDE_PATH); if (epicsIncludePath != null) splitPath(epicsIncludePath, currentDir, currentPath);  else currentPath.add(currentDir);  addPath = new ArrayList();
this(defaultPath, null);
	public PathSpecification (String defaultPath)	{		currentDir = defaultPath;				currentPath = new ArrayList();				// check if EPICS_DB_INCLUDE_PATH is available, this overrides current-directory default		String epicsIncludePath = System.getProperty(NAME_EPICS_DB_INCLUDE_PATH);		if (epicsIncludePath != null)			splitPath(epicsIncludePath, currentDir, currentPath);			// currentPath.add(epicsIncludePath);	    else	    	currentPath.add(currentDir);		addPath = new ArrayList();			}