A docker mode for jEdit