public void swapDestContext(final InputContext<?> oldContext, final InputContext<?> newContext) {
		for (int i = 0; i < destContexts.length; i++) {
			if (destContexts[i] == oldContext) {
				destContexts[i] = newContext;
			}
		}
	}