<%!
static String replace(String str, String target, String replacement)
{
String ret = "";
int leftPos = 0;
int rightPos;
while ((rightPos = str.indexOf(target, leftPos)) >= 0)
{
ret += str.substring(leftPos, rightPos);
ret += replacement;
leftPos = rightPos + target.length();
}
return ret + str.substring(leftPos);
}
%>
<html>
<body topmargin="0" leftmargin="0" rightmargin="0" marginwidth="0" marginheight="0">
<div style="margin:5;">
<div style="font-family:verdana; font-weight:bold; font-size:18pt;">
Java Path Information
</div>
<hr color="#000080">
<div style="font-family:verdana; font-size:12pt;">
<b>The Java Library Path (java.library.path) is detected to be:</b>
</div>
<div style="font-family:verdana; font-size:10pt;">
<ul><li>
<%=replace(System.getProperty("java.library.path"), System.getProperty("path.separator"), "<li>")%>
</ul>
</div>
<div style="font-family:verdana; font-size:12pt;">
<b>The Java Class Path (java.class.path) is detected to be:</b>
</div>
<div style="font-family:verdana; font-size:10pt;">
<ul><li>
<%=replace(System.getProperty("java.class.path"), System.getProperty("path.separator"), "<li>")%>
</ul>
</div>
</body>
</html>