RegExp savedFileRE = RegExp.make( "Saved\\s+file:\\s*(.*?)\r?\n" );
RegExpMatch[] mA = savedFileRE.matchAll( pOutResult );
int numM = mA.length;
for( int mI = 0; mI < numM; mI++ ) {
RegExpMatch m = mA[mI];
String savedFile = m.matchSub(1);
savedFilesV.addElement( savedFile );
}
}
catch( Exception e ) {
ErrorUtil.nonFatalMsg( e.getMessage() );