Ah, that makes sense- if they were using constants instead of an Enum. But since enums in Java are more "official", I figured they wouldn't get optimized away.