Test for #1405: Java enums should be treated as abstract