if (elementOverlayManager != null) { elementOverlayManager .setController(new DOMViewerElementOverlayController());
if (elementOverlayManager != null) { elementOverlayManager .setController(new DOMViewerElementOverlayController());
if (elementOverlayManager != null) { elementOverlayManager .setController(new DOMViewerElementOverlayController());
if (elementOverlayManager != null) { elementOverlayManager .setController(new DOMViewerElementOverlayController());