java enum & json4s