1. 2002-09-26 Re: [ jEdit-devel ] getProperty problem jedit-dev mike dillon 2. 2002-09-26 [ jEdit-devel ] getProperty problem jedit-dev Pawel Zbigniew Szy