OS is Linux (Ubuntu 8.10)

I can't see anything in .bashrc or .profile that has changed with relation to anything 'JAVA'

grep JAVA ~/.*

only shows errors in .xsession-errors

.xsession-errors:Warning: $JAVA_HOME environment variable not set! Consider setting it.

Eclipse Platform
Version: 3.4.1
Build id: M20080911-1700

The font.properties file hasn't changed for a while

darrell@darrell-laptop:~/bits/eclipse/eclipse$ ls -l /etc/java-6-openjdk/psfont.properties.ja
-rw-r--r-- 1 root root 3784 2008-10-25 03:18 /etc/java-6-openjdk/psfont.properties.ja


I have seen this before when I first installed Ubuntu 8.10, and installed jEdit that comes packaged with it (pre13), I removed that installed pre16 and everything was ok, but now it has come back after installing Eclipse and all the related Java changes associated with it. I have tried all of pre13 through to pre16 none of which seems to solve the problem.

Well, one of the questions (and I guess the crucial one) was "what version of Java?". jEdit is intended to run with *SUN* Java at least version 1.5. Maybe You have installed Eclipse with another Java environment, which is now the active one.

I think that the command "java -version" should show what You need. Maybe this thread could also help.

Robert

Apologies for missing the the java version

java version "1.6.0_0"
IcedTea6 1.3.1 (6b12-0ubuntu6) Runtime Environment (build 1.6.0_0-b12)
OpenJDK Server VM (build 1.6.0_0-b12, mixed mode)

So I did some digging and sorted it by running jEdit with the following command:

darrell@darrell-laptop:~$ JAVA_HOME=/usr/lib/jvm/java-6-sun-1.6.0.10/ jedit

Thanks for the pointers