An Eclipse editor for the leek script