GrammarOK function differ from C# and C++

[mingodad]

Comparing the TestSuite output between Java and C++ I noticed some differences and looking through the code and comparing with C# and C++ the Java version seems to be wrong:
This repo has this:

	public boolean GrammarOk() {
		boolean ok = NtsComplete()
			&& NoCircularProductions()
			&& AllNtToTerm();
		if (ok) { AllNtReached(); CheckResolvers(); CheckLL1(); }
		return ok;
	}

But accordling to C# and C++ it should be this:

	public boolean GrammarOk() {
		boolean ok = NtsComplete()
			&& AllNtReached()
			&& NoCircularProductions()
			&& AllNtToTerm();
		if (ok) { CheckResolvers(); CheckLL1(); }
		return ok;
	}