先日からずっと、世界的にjEditプラグインがオンラインインストールできない状態が続いていましたが、 http://community.jedit.org/?q=node/view/4013 現在この問題は解消している模様です。プラグインを手作業で集めてjarsに入れるか、プラグインマネージャ…