A fully integrated development environment for GOAL in Eclipse