An Eclipse based Development Environment for RAISE