="text/javascript" src="thirdparty/ace/ace.js"></script>
    <script type="text/javascript" src="thirdparty/ace/ext-modelist.js"></script>

    <link rel="stylesheet" type="text/css" href="thirdparty/xterm/css/xterm.css" />
    <script type="text/javascript" src="thirdparty/xterm/lib/xterm.js"></script>

    <script type="text/javascript" src="js/lib/AsynchronousSemaphore.js"></script>
    <script type="text/javascript" src="js/main.js"></script>

    <link rel="stylesheet" type="text/css" href="th