An IDE for GOAL based on JEdit