public PoolFilterDialog(Shell parent, List targets, Pool pool) {
this(parent, targets);
if (pool == null) {
throw new NullPointerException();
}
this.targetName = pool.getTarget().toString();
this.poolName = StringUtils.toHexString(pool.getId());
}
