private static int getPlatformDPI(int plaf)
	{
		switch (plaf) {
			case WINDOWS_XP:
			case GNOME:
				return 96;
			case MAC_OSX:
				try {
					return System.getProperty("java.version").compareTo("1.6") < 0 ? 72 : 96; // Default DPI was 72 prior to JSE 1.6
				} catch (Throwable t) {
					return 72;
				}
			default:
				throw new IllegalArgumentException("Unknown platform: " + plaf);
		}
	}