code: protected static File getFile(Value fval)
  	{
  		String path = stringOf(fval).replace('/', File.separatorChar);
  		File file = new File(path);
  
  		if (!file.isAbsolute())
  		{
  			file = new File(Settings.baseDir, path);
  		}
  		return file;
  	}
docs: Gets the absolute path the file based on the filename parsed and the working dir of the IDE or the execution dir
  of VDMJ
  
  @param fval
  file name
  @return