Update SemanticException.java

hans