Adding real path options to CoordinatePreferencesPluginView classes and
changing to use Double.MAX_VALUE instead of Integer.MAX_VALUE for node
widths