Bug house-keeping (bugs likely to be fixed, but not closed)

Hi everyone,

I have a small list of bugs which seem to be fixed, but are not closed.
Due to my limited knowledge I can't actually confirm them to be fixed,
but I guess most here will just need a short look at them to decide.

I compiled a short list with them:

#6e6e6e rename stableSort(Array) to stableSortInPlace(Array)
http://lampsvn.epfl.ch/trac/scala/ticket/865

#2066 Unsoundness in overriding methods with higher-order type parameters
http://lampsvn.epfl.ch/trac/scala/ticket/2066

#2080 It should not be possible to override concrete member types
http://lampsvn.epfl.ch/trac/scala/ticket/2080

#3457 specialize anonymous classes inside specialized methods
http://lampsvn.epfl.ch/trac/scala/ticket/3457

Thanks and bye!

Simon