update of plugin-devenv