[php] Pfade für Java-Extension

[php_(at)_phpcenter.de]

Hallo Liste.

Ich will hier gerade auf einem Win2k mit IIS und PHP4.1.1
die Java-Extension testen.

in meiner PHP.ini steht folgendes:
java.class.path =
c:\php\java\php_java.jar;C:\php\JavaClasses\usermanagement.zip

java.home = c:\j2sdk1.4.0_01

java.library = c:\j2sdk1.4.0_01\jre\bin\client\jvm.dll 

java.library.path = c:\php


Das problem ist nur, wie ich java.class.path mehrere Werte zuordnen
kann.
in einer phpinfo() wird bei java.class.path nur der erste eintrag bis
zum Semikolon ausgegeben, der Zweite zu dem Zip scheint PHP nicht zu
interessieren.
Was mache ich falsch?

Gruß und Danke,
Daniel