Lines Matching refs:StringMonitor
317 StringMonitor jvm_version = (StringMonitor)map.get(name);
319 jvm_version = (StringMonitor)findByAlias(name);
323 StringMonitor jvm_name = (StringMonitor)map.get(name);
325 jvm_name = (StringMonitor)findByAlias(name);
329 StringMonitor args = (StringMonitor)map.get(name);
331 args = (StringMonitor)findByAlias(name);
349 private void kludgeMantis(Map<String, Monitor> map, StringMonitor args) {
361 StringMonitor collector = (StringMonitor)map.get(cname);
372 StringMonitor flags = (StringMonitor)map.get(cname);