How to escape redundant stated when using J-K Flip Flops?
It's very likely that the unused states transition within one clock to a valid state; you should check this, but it looks like it to me.

In general, to make sure you get the behavior you want, you should include the unused states in the state diagram up front, and design the system so that they eventually lead to valid states under all circumstances.