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 "" ; }
Obtains the prob bundled executable and returns the prob . home property set to that location