Class RenderProgressmeter

platform/java/example/Viewer.java:1815–1881

	}

	class RenderProgressmeter extends Progressmeter {
		Cookie cookie;

		public RenderProgressmeter(Frame parent, String title, Cookie cookie, final int update) {
			super(parent, title, false, "Progress: 100%");
			this.cookie = cookie;

			(new Thread() {
				public void run() {
					try {
						int slept = 0;
						while (!progress(slept))
						{
							sleep(update);
							slept += update;
						}
					} catch (InterruptedException e) {
					}
				}
			}).start();
		}

		public void cancel() {
			super.cancel();
			cookie.abort();
		}

		public boolean progress(int slept) {
			int progress = cookie.getProgress();
			int max = cookie.getProgressMax();

			if (max <= 0 && progress < 100)
				max = 100;
			else if (max <= 0 && progress > 100)
			{
				int v = progress;
				max = 10;
				while (v > 10)
				{
					v /= 10;
					max *= 10;
				}
			}

			if (progress >= max)
				done = true;

			int percent = (int) ((float) progress / max * 100.0f);

			StringBuilder text = new StringBuilder();
			text.append("Progress: ");
			text.append(percent);
			text.append("%");

			if (slept > 0)
				setVisible(true);

			if (progress(text.toString()))