Fixed red code example from our sources. Mixing type parameters from Java with the same name.