Since JSException is a subclass of InterpreterException, the first check isn't necessary.