public final void appendToolTip(ToolTipBox tool_tip_box) {
String tooltip_str =
Utils.getBundleString(
ResourceBundle.getBundle(StatusIcon.class.getName()),
"max",
new Object[] {tooltip, new Integer(counter.getMaxSupplies())});
tool_tip_box.append(tooltip_str);
}
public final void doUpdate() {
int count = counter.getNumSupplies();
if (count != text_count) {
text_count = count;
label.clear();
label.append(count);
}
}