The signatures generated by the compiler contain redundant information.
Consider the code:

package foo
class Outer<T> {
  class Inner<S> {...}
}

and a type expression

Outer<X>.Inner<Y>

The signature produced is (as I recall):

Lfoo/Outer<X>;,Lfoo/Outer/Inner<Y>;

rather than say

Lfoo/Outer<X>/Inner<Y>;

Outer