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