Decoder for JJEncode