Updating the error message for unbound variables. Fixing issue #684.
Removing an extra space.
Updating the error message and removing the special case for the java backend.
Fixing one of the tests.
Merge pull request #685 from kframework/fixFreshError

Updating the error message for unbound variables. Fixing issue #684.