Case-insensitive enums in PdefJson in Java.