Java code-generator does not handle the nondeterministic statement correctly

[peterwvj]

This issue can be demonstrated using the following class:

class Entry

operations

public static Run : () ==> ?
Run () ==
  || (return true, return true);

end Entry

When code-generated, the generated code contains both return statements, which is wrong (and it won't compile). Instead it should just choose one of them.