Today, we encountered an unexpected problem with Java generics...