Sounds fine then, even though "initializeEMF() called" would be clearer.