AppletTest

---------------------------------------- Sourcelistings ----------------------------------------

AppletTest.java:
import java.security.SecureRandom;
public class AppletTest extends java.applet.Applet {
 public String test() {
 String msg = "";
 int z1 = -1765061395;
 int z2 = 0;
 int z3 = 0;
 try {
 SecureRandom random = SecureRandom.getInstance("SHA1PRNG","SUN");
 random.setSeed(1);
 z2 = random.nextInt();
 } catch(Exception e)
 {
 e.printStackTrace();
 }
 try {
 SecureRandom random = SecureRandom.getInstance("SHA1PRNG","SUN");
 random.setSeed(1);
 z3 = random.nextInt();
 } catch(Exception e)
 {
 e.printStackTrace();
 }
 msg = z1 + " equals " + z2 + " equals " + z3;
 return msg;
 }
 public String jvmVersion() {
 String version = "";
 try {
 version = System.getProperty("java.vm.version");
 }
 catch (Exception e)
 {
 e.printStackTrace();
 return e.toString();
 }
 return version;
 }
 static public void main(String arg[])
 {
 AppletTest t = new AppletTest();
 System.out.println(t.test());
 System.out.println(t.jvmVersion());
 }
}

AppletTest.html:
<HTML>
<HEAD>
<TITLE> AppletTest</TITLE>
</HEAD>
<BODY>
<APPLET name="AppletTest" CODE="AppletTest.class" WIDTH=1 height=1>
</APPLET>
<SCRIPT LANGUAGE="JavaScript">
 var jvmVersion = document.AppletTest.jvmVersion();
 var testResult = document.AppletTest.test();
 document.write(" AppletTest ");
 document.write("Test Result " + testResult + " ");
 document.write("Should be -1765061395 equals -1765061395 equals -1765061395 ");
 document.write("jvmVersion " + jvmVersion + " ");
</SCRIPT>
</BODY>
</HTML>

AppletTest.php:
<?php
 touch('AppletTest.class');
 header("Content-Type: text/html");
 $h = file_get_contents('AppletTest.html');
 echo($h);

 echo " ---------------------------------------- Sourcelistings ---------------------------------------- ";
 $filename = 'AppletTest.java';
 echo " ". $filename . ":" ." ";
 $lines = file($filename);
 foreach ($lines as $line) {
 $line = htmlspecialchars($line);
 $line = str_replace (' ', ' ', $line );
 echo $line . " \n";
 }
 $filename = 'AppletTest.html';
 echo " ". $filename . ":" ." ";
 $lines = file($filename);
 foreach ($lines as $line) {
 $line = htmlspecialchars($line);
 $line = str_replace (' ', ' ', $line );
 echo $line . " \n";
 }
 $filename = 'AppletTest.php';
 echo " ". $filename . ":" ." ";
 $lines = file($filename);
 foreach ($lines as $line) {
 $line = htmlspecialchars($line);
 $line = str_replace (' ', ' ', $line );
 echo $line . " \n";
 }
?>