Type mismatch when using enum in Java

[cristina-david]

There is a regression test for this in #89

[smowton]

Unable to reproduce with that regression test; may be fixed by unrelated progress in the meantime