public ValueNumberFrame(int numLocals, ValueNumberFactory factory) { super(numLocals); this.factory = factory;
public ValueNumberFrame(int numLocals, final ValueNumberFactory factory) { super(numLocals, new Frame.DefaultValueFactory<ValueNumber>() { public ValueNumber getDefaultValue() { return factory.topValue(); } });
	public ValueNumberFrame(int numLocals, ValueNumberFactory factory) {		super(numLocals);		this.factory = factory;	}