List extensions, PageRenderer pageRenderer,
boolean ignoreCase, boolean bNative, Locator locator) {
if (deviceType == null || deviceType.length() == 0)
throw new UiException("deviceType cannot be empty");
if (!Devices.exists(deviceType))
throw new DeviceNotFoundException(deviceType, MZk.NOT_FOUND, deviceType);
if (ZK_NAMESPACE.equals(namespace))
throw new UiException(ZK_NAMESPACE+" is reserved.");
if (name == null || name.length() == 0
|| namespace == null || namespace.length() == 0
|| pageRenderer == null || locator == null)