[Change language=JavaScript into type=text/javascript. This breaks HTML 3.2, but is the right way for any later versions.
Niklas Broberg <nibro@cs.chalmers.se>**20080509111546] {
hunk ./src/HSP/HJScript.hs 12
-    <script language="JavaScript">
+    <script type="text/javascript">
}