Provides the implementation of the edit pad service used by jdk.jshell.