They've filed it as bug #16813.
> On Mon, 22 Oct 2001, [EMAIL PROTECTED] wrote:
>
>> Trung Duc Tran wrote:
>
>>> [snip]
>>> In short if the user runs the IDE on jdk 1.2 or 1.3 we activate the old
>>> NbFocusManager, otherwise (it means the user is using jdk 1.4 or later)
>>> we use the new code which needs to load java.aw.KeyEventPostProcessor.
>>> The test looks like this
>>>
>>> boolean jdk12or13 =
>>> System.getProperty ("java.vm.version").startsWith ("1.2")
>>> || System.getProperty ("java.vm.version").startsWith ("1.3");
>>>
>>> Obviously in Blackdown 1.3.x System.getProperty ("java.vm.version")
>>> returns something we don't expect. Please tell us what the value it
>>> is and we can easily fix the problem
>
>>
>> I partially agree with Juergen's assessment, we should use
>> java.specification.version not java.vm.version as here nor java.version as he
>> suggested. We want to compare to 1.4, if less than then use old NbFM, if >=
>> then use new NbFM. org.openide.modules.Dependency.JAVA_SPEC is good for this
>> purpose, you can then compareTo(new SpecificationVersion("1.4")). Only the
>> *.specification.version properties are documented to have any particular form
>> across VMs; the others could be anything the vendor thinks looks nice.
>>
>> Note that sometimes JDK betas use an invalid spec version (e.g. "1.4beta2"),
>> which I reported as a bug long ago (before 1.4 release cycle) but they seem to
>> be doing it anyway. Dependency.JAVA_SPEC is supposed to handle this annoyance
>> for you (as well as the broken sys property on IBM's 1.3 VM).
>
>
--
========================================================
Glenn Holmer ([EMAIL PROTECTED])
--------------------------------------------------------
"Mere force is useless against people who are neither
cowards nor fools. We must match courage with courage
and cunning with still greater cunning if we are to do
anything at all."
--------------------------------------------------------
-Leslie Howard in "The Scarlet Pimpernel", 1935
========================================================
----------------------------------------------------------------------
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
