public String getSelectedOpcodes() { int pipe = surroundingOpcodes.indexOf('|'); if (pipe < 0) return ""; String selected = surroundingOpcodes.substring(pipe + 1); pipe = selected.indexOf('|'); if (pipe >= 0) { selected = selected.substring(0, pipe); } return selected;
public short[] getSelectedOpcodes() { String selected = getSelectedOpcodesAsString(); String[] split = selected.split(","); return parseOpcodes(split);
	public String getSelectedOpcodes() {		int pipe = surroundingOpcodes.indexOf('|');		if (pipe < 0)			return "";		String selected = surroundingOpcodes.substring(pipe + 1);		pipe = selected.indexOf('|');		if (pipe >= 0) {			selected = selected.substring(0, pipe);		}		return selected;	}