Bug#228883: Not specific to JDE

[Hans-Joachim Daniels]

Hello,

The problem also arises when I load .tex files with AUCtex,
so I think this bug has nothing to do with JDE and can be
closed here.

Sorry,

Ha-Jo