public void initEntryFact(int[] result) {
public void initEntryFact(LockSet result) {
	public void initEntryFact(int[] result) {		// FIXME: we don't try to do anything for static methods at the moment,		// because we don't yet have a way of figuring out when a Class object		// is loaded as a value.		Arrays.fill(result, 0);		if (isSynchronized && !isStatic) {			ValueNumber thisValue = vna.getThisValue();			result[thisValue.getNumber()] = 1;		}	}