Method jumpHistoryForward

platform/java/example/Viewer.java:1135–1142

(int number)

	}

	protected void jumpHistoryForward(int number) {
		cancelSearch();
		if (number == 0) {
			if (futureCount > 0) {
				popFuture();
			}
		}
	}

	protected Mark saveMark() {
		return new Mark(location);