Confirmed: Recompiling the student code with Eclipse on a different machine fixed the issue. (But again, not the point.)
Confirmed: Recompiling the student code with Eclipse on a different machine fixed the issue. (But again, not the point.)