return new Point(0, 0);
checkDevice(); int resolution = OS.gtk_print_settings_get_resolution(settings); if (DEBUG) System.out.println("print_settings.resolution=" + resolution);   if (true || resolution == 0) return new Point(72, 72); return new Point(resolution, resolution);
public Point getDPI() {	return new Point(0, 0);}