# File rtex.rb, line 410
        def Tool.readLog ( filename  )
                if ! File.exist?( filename ); return "" end
                log = File.new(filename, 'r')
                content = log.read()
                log.close()
                return content
        end