/pkgs/applications/editors/jedit/

• ../
• build.xml.patch
• default.nix