void paintInfo(Graphics g) {
		if (getModel().isActionScriptRunning()) {
			if (waitIcon == null)
				waitIcon = new ImageIcon(getClass().getResource("images/wait.gif"));
			waitIcon.paintIcon(this, g, getWidth() - waitIcon.getIconWidth() - 5, getHeight() - waitIcon.getIconHeight() - 5);
		}
		if (showClock) {
			if (clockIcon == null)
				clockIcon = new ImageIcon(getClass().getResource("images/clock.gif"));
			clockIcon.paintIcon(this, g, 5, getHeight() - clockIcon.getIconHeight() - 5);
			g.setColor(contrastBackground());
			g.setFont(ViewAttribute.SMALL_FONT);
			synchronized (getModel()) {
				g.drawString((int) getModel().getModelTime() + " fs", 25, getHeight() - 5);
			}
		}
	}