An IDE for UML