setHaloStatus(label, HaloStatusPlugin.getPlugin().getPlayerCount());
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) {