if (later.equals("")) { return EMPTY_OPCODE_LIST; }
	public short[] getLaterOpcodes() {		int pipe = surroundingOpcodes.lastIndexOf('|');		if (pipe < 0)			return EMPTY_OPCODE_LIST;		String later = surroundingOpcodes.substring(pipe + 1);		String[] split = later.split(",");		return parseOpcodes(split);	}