I am running jEdit 4.2 on Windows XP. I have made changes to the abbrevs file and now I would like to recover a copy of the default abbrevs file as it came with the original jEdit source files. I'm not familiar with the syntax for working with Java files -- can someone provide me with a command-line for extracting the original abbrevs file from the source files, or show me some other way of doing this? Thanks.