# File rtex.rb, line 437
        def Tool.get_stdout( ) 
                @@tmpstdout.open()
                stdout = @@tmpstdout.readlines()
                @@tmpstdout.close()
                return stdout
        end