logDirectory : logDirectory + "/";
logDirectory : logDirectory + File.separator;
    private static String generateFileName( String logDirectory,    										String logPrefix )    {        // if the log directory is a relative path, the working directory is        // not necessarily the same as the plugin installation directory;        // we must ensure that the log files are in the installation directory		File logDir = new File( logDirectory );        if ( ( logDir.isDirectory() && ! logDir.isAbsolute() ) ||             logDirectory.startsWith( "." ) )        {            try            {        	    URL url = OdaJdbcDriver.getInstallDirectory();        	    if( url != null )        	    {	                String driverHomeDir = url.getPath();	                logDir = new File( driverHomeDir, logDirectory );	                logDirectory = logDir.getPath();        	    }            }            catch( OdaException e )            {                // ignore and use original logDirectory            }            catch( IOException e )            {                // ignore and use original logDirectory            }        }        SimpleDateFormat dateFormat = new SimpleDateFormat( "yyyyMMdd-HHmmss" );    	String logfileName = ( logDirectory.endsWith( "/" ) ||    						   logDirectory.endsWith( "\\" ) ) ?    						 logDirectory : logDirectory + "/";    	logfileName += logPrefix + "-";    	    	Timestamp timestamp = new Timestamp( System.currentTimeMillis() );    	logfileName += dateFormat.format( timestamp ) + ".log";    	    	return logfileName;    }