list.add(new Invoke("+java.util.Enumerator", "hasMoreElements", "()Z", Invoke.INSTANCE, bugReporter));
list.add(new Invoke("+java.util.Enumeration", "hasMoreElements", "()Z", Invoke.INSTANCE, bugReporter));
	private static PatternElement[] createPatternElementList(BugReporter bugReporter) {		ArrayList<PatternElement> list = new ArrayList<PatternElement>();		// Standard return check methods		list.add(new Invoke("java.lang.String", "/.*", 					"/\\(.*\\)Ljava/lang/String;", 					Invoke.INSTANCE, bugReporter));		list.add(new Invoke("java.lang.StringBuffer", "toString", 					"()Ljava/lang/String;", 					Invoke.INSTANCE, 					bugReporter));		list.add(new Invoke("+java.lang.Thread", "<init>", 					"/.*", 					Invoke.CONSTRUCTOR, 					bugReporter));		list.add(new Invoke("+java.lang.Throwable", "<init>", 					"/.*", 					Invoke.CONSTRUCTOR, 					bugReporter));		list.add(new Invoke("java.security.MessageDigest", 					"digest", "([B)[B", 					Invoke.INSTANCE, bugReporter));		list.add(new Invoke("+java.net.InetAddress", "/.*", "/.*", 					Invoke.INSTANCE, bugReporter));		list.add(new Invoke("java.math.BigDecimal", "/.*", "/.*", 					Invoke.INSTANCE, bugReporter));		list.add(new Invoke("java.math.BigInteger", "/.*", "/.*", 					Invoke.INSTANCE, bugReporter));		list.add(new Invoke("+java.util.Enumerator", "hasMoreElements", "()Z", Invoke.INSTANCE, bugReporter));		list.add(new Invoke("+java.util.Iterator", "hasNext", "()Z", Invoke.INSTANCE, bugReporter));		list.add(new Invoke("java.io.File", "createNewFile", "()Z", Invoke.INSTANCE, bugReporter));		/*		new Invoke("java.lang.Thread", "currentThread", 			"()Ljava/lang/Thread;", 			Invoke.STATIC, 			bugReporter),		*/		if (CHECK_ALL ||			JavaVersion.getRuntimeVersion().isSameOrNewerThan(JavaVersion.JAVA_1_5)) {			// Add JDK 1.5 and later return check functions			list.add(new Invoke("+java.util.concurrent.locks.ReadWriteLock", 					"readLock", 					"()Ljava/util/concurrent/locks/Lock;", 					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.concurrent.locks.ReadWriteLock", 					"writeLock", 					"()Ljava/util/concurrent/locks/Lock;", 					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.concurrent.locks.Condition", 					"await", 					"(JLjava/util/concurrent/TimeUnit;)Z", 					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.concurrent.locks.Condition", 					"awaitUtil", 					"(Ljava/util/Date;)Z", 					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.concurrent.locks.Condition", 					"awaitNanos", 					"(J)Z", 					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.concurrent.Semaphore", 					"tryAcquire", 					"(JLjava/util/concurrent/TimeUnit;)Z", 					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.concurrent.Semaphore", 					"tryAcquire", 					"()Z", 					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.concurrent.locks.Lock", 					"tryLock", 					"(JLjava/util/concurrent/TimeUnit;)Z", 					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.concurrent.locks.Lock", 					"newCondition", 					"()Ljava/util/concurrent/locks/Condition;", 					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.concurrent.locks.Lock", 					"tryLock", 					"()Z", 					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.Queue", 					"offer", 					"(Ljava/lang/Object;)Z", 					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.concurrent.BlockingQueue", 					"offer", 					"(Ljava/lang/Object;JLjava/util/concurrent/TimeUnit;)Z",					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.concurrent.BlockingQueue", 					"poll", 					"(JLjava/util/concurrent/TimeUnit;)Ljava/lang/Object;", 					Invoke.INSTANCE, 					bugReporter));			list.add(new Invoke("+java.util.Queue", 					"poll", 					"()Ljava/lang/Object;", 					Invoke.INSTANCE, 					bugReporter));				/*				new Invoke("java.util.concurrent.locks.ReentrantLock",					"tryLock", 					"()Z", 					Invoke.INSTANCE, 					bugReporter),				*/		}		return list.toArray(new PatternElement[list.size()]);	}