public void event(String name, int inc) { if (monitor != null) monitor.event(name, inc); }
public void event(String name) { if (monitor != null) monitor.event(name); }
public void event(int inc) { if (monitor != null) monitor.event(inc); }