@Override
	public void keyReleased(KeyEvent e) {
		// Remove the key from the currently down keys. We test if the key is
		// was previously tested first because of Key combinations which do not
		// result in characters, such as action keys like F1 and the HELP key,
		// do not generate KEY_TYPED events.
		// We use indexOf to get the position of the element so we can remove it
		int index = currentlyDownKeys.indexOf(e.getKeyCode());
		if (index > -1) {
			currentlyDownKeys.remove(index);
		}
	}