From: e-letter <in...@gm...> - 2010-01-16 14:22:37
|
On 16/01/2010, Kazutoshi Satoda <k_s...@f2...> wrote: > e-letter wrote: >> On 14/01/2010, Kazutoshi Satoda <k_s...@f2...> wrote: >>> Your stack trace shows the exact problem which happened on some Java 5 >>> VM and was fixed in the following revisions. >>> http://jedit.svn.sourceforge.net/jedit/?view=rev&rev=13622 >>> http://jedit.svn.sourceforge.net/jedit/?view=rev&rev=13633 >>> >>> If the problem happens with jEdit 4.3 (stable), submit a bug report for >>> this problem with information about your environment (VM vendor and >>> version, platform, etc...). They are usually shown at the beginning of >>> activity.log in your user settings directory. >>> >> I repeat, unable to start jedit 43, see all earlier thread posts > > Since you can run jEdit 4.3pre11, could you please send the above > information shown in the activity.log? > > I want just the value returned by System.getProperty("java.vendor") in > your JVM. I'll add the value to the check if the JVM has the following > bug. Currently, the vendor "Sun" and "Apple" are known. > http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6266084 > http://jedit.svn.sourceforge.net/viewvc/jedit/jEdit/trunk/org/gjt/sp/jedit/syntax/Chunk.java?revision=13633&view=markup#l_348 > This should be changed to accept other vendors such as ibm and openjdk |