label.setImage(HaloStatusPlugin.getImage("resources/icons/halo1.gif"));
statusLineManager.add(new Separator("halo"));
statusLineManager.appendToGroup("halo", label);
statusLineManager.update(true);
HaloStatusPlugin.getPlugin().getPreferenceStore().addPropertyChangeListener(new IPropertyChangeListener() {
public void propertyChange(PropertyChangeEvent event) {
if (HaloStatusPlugin.PLAYER_COUNT_PREF.equals(event.getProperty()))
setHaloStatus(label, (String)event.getNewValue());