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