change for using NERDTree and editing Alloy in useful