code: public static String getProbHomeProperty()
  	{
  		final Bundle bundle = Platform.getBundle(ORG_OVERTURE_IDE_PLUGINS_PROBRUNTIME);
  		if (bundle != null)
  		{
  			URL buildInfoUrl = FileLocator.find(bundle, new Path("prob/build_info.txt"), null);
  
  			try
  			{
  				if (buildInfoUrl != null)
  				{
  					URL buildInfofileUrl = FileLocator.toFileURL(buildInfoUrl);
  					if (buildInfofileUrl != null)
  					{
  						File file = new File(buildInfofileUrl.getFile());
  
  						return "system."+"prob.home=" + file.getParentFile().getPath().replace('\\', '/');
  					}
  
  				}
  			} catch (IOException e)
  			{
  			}
  		}
  		return "";
  	}
docs: Obtains the prob bundled executable and returns the prob.home property set to that location
  @return the prob.home property if available or empty string