}
Token currentToken = e.currentToken;
if (currentToken != null) {
int beginLine = currentToken.beginLine;
int beginColumn = currentToken.beginColumn;
throw new OWLParserException(e, beginLine, beginColumn);
} else {
throw new OWLParserException(e);
}
} catch (TokenMgrError e) {
throw new OWLParserException(e);
} finally {
if (is != null) {
is.close();
} else if (reader != null) {
reader.close();