Refactoring en modelo de externalDrawer(código JFLAP)