jedit
Plugin-based editor for programmers
RUN apt-get update && \
apt-get install -y jedit
RUN apt-get update && \
apt-get install -y jedit
RUN pacman -S --noconfirm jedit
RUN apt-get update && \
apt-get install -y jedit
RUN apt-get update && \
apt-get install -y jedit