public Frame(int numLocals) {
public Frame(int numLocals, DefaultValueFactory<ValueType> defaultValueFactory) {
	public Frame(int numLocals) {		this.numLocals = numLocals;		init(new DefaultValueFactory<ValueType>() {			public ValueType getDefaultValue() { return Frame.this.getDefaultValue(); }		});	}