Fix Eclipse AssumeNG errors (see #10238)