For Java compatibility, avoiding explicit pseudonym in enum