Comment #9 on issue 868 by tu...@tudorgirba.com: VerveineJ does not set the container of a ParameterizedType correctly http://code.google.com/p/moose-technology/issues/detail?id=868
It's not the same issue.
1) Having distinct instances for ArrayList<String> and ArrayList<Integer> allows me to reason about the specific types referenced throughout the system. I can then ask how many variables are there of these types.
2) Having multiple instances of an ArrayList<String> provides a different type of information, that is anyway provided by the associations Reference, Invocation or Access.
All in all, we would benefit from 1), but not as much from 2).