Java API: use enum instead of int for attribute parameter