/**
* Adds a display object to the container and sets a the display's ID to new unique value for this
* isolate, as a single atomic operation.
*
* <p>Intended to be called from Display constructor.
*
* @param da display object to add
*/
public synchronized void addDisplay(DisplayAccess da) {
if (displays.indexOf(da) == -1) {
int newId = createDisplayId();
da.setDisplayId(newId);
displays.addElement(da);
}
}
