An Eclipse-based Editor to Support LOTOS Newcomers