kludgeMantis is no longer needed?

[Magnus Ihse Bursie]

I noticed the following piece of code in 
src/jdk.internal.jvmstat/share/classes/sun/jvmstat/perfdata/monitor/v1_0/PerfDataBuffer.java:

if(jvm_name.stringValue().indexOf("HotSpot") >= 0) {
if(jvm_version.stringValue().startsWith("1.4.2")) {
kludgeMantis(map, args);
}
}
It looks like there's some room for cleaning out old cruft here...

/Magnus