/Archive/2017/lively4-offline-focalstorage/src/external/code-mirror/mode/eiffel