Add in the handling for JSR labels