JasminEmitter outputs prototype without catch handlers