this.window = window;
this.windowLocation = windowLocation;
this.workspaceContext = workspaceContext;
}
@Override
<BUG>public void setErrorNotificationLabel(int count)
</BUG>
{
<BUG>display.setErrorNotificationText(count);
</BUG>
}

this.window = window;
this.windowLocation = windowLocation;
this.workspaceContext = workspaceContext;
}
