<html>
<head>
<title>GWT Development Mode Failure</title>
<style>
* { 
  font-family: sans-serif;
}

h1 {
  background: blue;
  color: white; 
  padding: 0.25em
}

#r {
  width:100%; 
  white-space: pre-wrap; 
  font-family: monospace;
}

</style>
</head>
<body>

<h1>GWT Development Mode Failure</h1>

<p>The development mode plugin encountered a fatal error&mdash;did you stop your code server?</p>

<p>You can try to restart your web application by <a href='javascript:window.location.reload()'>reloading this page</a>.</p>

<hr/>

<div id="r" wrap="off">
__MESSAGE__

System version: __SYSTEM_VERSION__

__USER_AGENT__

Compilation time: __DATE__ __TIME__
</textarea>
</body>
</html>