#912 reopened for master branch

#912
Well I'm asking a domain-specific question here. Are you actually catching the exception thrown in this catch block before KTestFrontEnd? If the answer is yes, probably better to leave it as a SAXException. If the only thing you are doing that is catching the rethrown exception is to pass it to the KExceptionManager, probably better to use the kem here.