Ich hab erst eben mal ins Lizenz-file der JRE im Domino geschaut und danach sicherheitshalber mir das Ganze auch noch mal per Agenten ausgeben lassen.
Da ist definitiv die 1.3.1 drin.
Dann hast Du aber den Wurm drinnen.
Ich hab mir jetzt schnell mal einen Java-Agent geschrieben der diese beiden Befehle ausführt
System.out.print(" running with JRE-version ");
System.out.println(System.getProperty("java.version"));
Auf dem 7er-Server gestartet:
> show server
Lotus Domino (r) Server (Release 7.0.2 for Windows/32) 08.08.2007 14:38:29
...
> tell amgr run "scratch/scratch.nsf" 'jre'
08.08.2007 14:35:36 JVM: Java Virtual Machine initialized.
08.08.2007 14:35:37 AMgr: Start executing agent 'jre' in 'scratch\scratch.nsf'
08.08.2007 14:35:40 Agent Manager: Agent printing: running with JRE-version
08.08.2007 14:35:40 Agent Manager: Agent printing: 1.4.2
08.08.2007 14:35:40 AMgr: Agent 'jre' in 'scratch\scratch.nsf' completed execution
1.4.2 auf Domino 7.