<!-- how to check if Java Web Start is properly installed. -->
<!-- check for Netscape family browsers using javascript -->
<script language="javascript" type="text/javascript">
<!--
var jwsinstalled = 0;
var tryIE = "false";
if ( navigator.mimeTypes
&& navigator.mimeTypes.length
&& navigator.mimeTypes[ 'application/x-java-jnlp-file' ] ) jwsinstalled = 1;
else tryIE = "true";
// -->
</script>
<!-- check IE, using vbscript NOT javascript -->
<script language="vbscript" type="text/vbscript">
<!--
on error resume next
if tryIE = "true" Then
if IsObject(CreateObject( "JavaWebStart.isInstalled" )) Then
jwsinstalled = 1
end If
end If
// -->
</script>
<!-- generate corresponding message using JavaScript -->
<script language="javascript" type="text/javascript">
if ( jwsinstalled )
document.write( "Your browser appears to be already configured properly for Java Web Start." );
else document.write( '<span class="important">Your browser is <i>not</i> configured properly for Java Web Start *.jnlp and application/x-java-jnlp-file MIME types! How to <a class="button" href="../jgloss/installingjaws.html">Repair</a> the damage.</span>' );
// -->
</script>