1. 2002-01-31 RE: [ jEdit-users ] Default Character Encoding jedit-use John Gellene 2. 2002-01-31 [ jEdit-users ] Default Character Encoding jedit-use Joe Polanik