public void actionPerformed(ActionEvent e) {
				new SwingWorker("Page:propertiesAction") {
					public Object construct() {
						return getLastModifiedAndContentLength();
					}

					public void finished() {
						long[] info = (long[]) getValue();
						if (info == null)
							return;
						if (info[0] > 0L)
							properties.put("Last modified", new Date(info[0]));
						if (info[1] > 0L)
							properties.put("Size", new Long(info[1]));
						if (propertiesDialog == null)
							propertiesDialog = new PagePropertiesDialog(Page.this);
						propertiesDialog.setCurrentValues();
						propertiesDialog.pack();
						propertiesDialog.setVisible(true);
					}
				}.start();
			}