Bug 127171 [Commands] New API elements missing @since
Build id: I20060208-0848 The following new API elements in Eclipse 3.2 are missing "@since 3.2" tags: org.eclipse.core.commands.Command#addState(java.lang.String, org.eclipse.core.commands.State) org.eclipse.core.commands.Command#removeState(java.lang.String) org.eclipse.core.commands.CommandManager#AUTOGENERATED_CATEGORY_ID org.eclipse.core.commands.CommandManager#getAllCommands() org.eclipse.core.commands.ExecutionEvent#toString() org.eclipse.core.commands.operations.TriggeredOperations#replaceContext(org.eclipse.core.commands.operations.IUndoContext, org.eclipse.core.commands.operations.IUndoContext) org.eclipse.jface.bindings.keys.KeySequenceText#addPropertyChangeListener(org.eclipse.jface.util.IPropertyChangeListener) org.eclipse.jface.bindings.keys.KeySequenceText#firePropertyChangeEvent(org.eclipse.jface.bindings.keys.KeySequence) org.eclipse.jface.bindings.keys.KeySequenceText#P_KEY_SEQUENCE org.eclipse.jface.bindings.keys.KeySequenceText#removePropertyChangeListener(org.eclipse.jface.util.IPropertyChangeListener)
bundles/org.eclipse.jface/src/org/eclipse/jface/bindings/keys/KeySequenceText.java
if ((keyStrokes.length == 0)
						|| (insertionIndex >= keyStrokes.length)
						|| (isCursorInLastPosition())) {
					keyStrokes = insertStrokeAt(keyStrokes, stroke,
							keyStrokes.length);
					clearInsertionIndex();
				} else {
					/*
					 * I'm just getting the insertionIndex here. No actual
					 * deletion should occur.
					 */
					final KeyStroke[][] deletedKeyStrokes = new KeyStroke[1][];
					insertionIndex = deleteSelection(keyStrokes, stroke
							.isComplete(), deletedKeyStrokes);
					keyStrokes = deletedKeyStrokes[0];
					if (stroke.isComplete()) {
						keyStrokes = insertStrokeAt(keyStrokes, stroke,
								insertionIndex);
						clearInsertionIndex();
					}
				}
			}
			return keyStrokes;
		}
	}
	/**
	 * A traversal listener that blocks all traversal except for tabs and arrow
	 * keys.
	 */
	private class TraversalFilter implements Listener {