Java unmangling lacked a 'short' type. fixed