Fix Eclipse AssumeNG errors (see #10238)
Merge pull request #349 from bpindelski/eclipse-fix

Fix Eclipse AssumeNG errors (see #10238)