wrapProperty(nonNullParamDatabase.get().getProperty(xmethod)), wrapProperty(possiblyNullParamDatabase.get().getProperty(xmethod)));
wrapProperty(nonNullParamDatabase.getProperty(xmethod)), wrapProperty(possiblyNullParamDatabase.getProperty(xmethod)));
			public boolean choose(JavaClassAndMethod classAndMethod) {				XMethod xmethod = XMethodFactory.createXMethod(						classAndMethod.getJavaClass(), classAndMethod.getMethod());				NonNullSpecification specification = new NonNullSpecification(						classAndMethod,						wrapProperty(nonNullParamDatabase.get().getProperty(xmethod)),						wrapProperty(possiblyNullParamDatabase.get().getProperty(xmethod)));				if (DEBUG_NULLARG) {					System.out.println("Found specification: " + specification);				}				specificationList.add(specification);								return false;			}