RE:JDEbug on Linux

[Mario Neudeck]

Thanks a lot, I misunderstood a section in the users guide. Now
everthing works fine.
Mario