GitHub repository: wsargent/jedit-docker-mode
Description: A docker mode for jEdit