{Abbrevs Abbrevs 0}
{File File 0}
{Help Help 0}
{{Help on jabbrevs} {Help on jabbrevs} 0}
{{Help on Using Abbreviations in jedit}
  {Help on Using Abbreviations in jedit} 8}
{{Help on jstools} {Help on jstools} 10}

{XXXXXXX {Following were hard-coded; I've fixed this in my sources}}
{Abbreviation: {Abbreviation:}}
{Expansion: {Expansion:}}
{{Are you sure you want to quit?} {Are you sure you want to quit?}}

{jabbrevs:cmd:about {About the Abbrevs Manager...} 0 <Meta-Key-A> {[a]}}
{jabbrevs:cmd:quit {Quit} 0 <Meta-Key-q> {[q]}}
{jabbrevs:cmd:add {Add}}
{jabbrevs:cmd:delete {Delete}}
{jabbrevs:cmd:reload {Reload} 2 <Meta-Key-l> {[l]}}
{jabbrevs:cmd:save {Save} 0 <Meta-Key-s> {[s]}}