Temporary(?) fix to make javaa compile (ceylon/ceylon-dist#32)