double size = MIN_VERTEX_RADIUS + (MAX_VERTEX_RADIUS - MIN_VERTEX_RADIUS) * (value - min) / (max - min);
double size;  if(max == min) { size = MIN_VERTEX_RADIUS; } else { size = MIN_VERTEX_RADIUS + (MAX_VERTEX_RADIUS - MIN_VERTEX_RADIUS) * (value - min) / (max - min); }
	private void resizeNodes(String measure) {		if(_graph == null) {			System.err.println("Error: could not resize nodes no graph has been loaded.");			return;		}				/* TODO: should probably give user some sort of notice */		if(!_inited) {			indecize();			calculate();		}		RenderBox r = (RenderBox) _view;		// find the maximum measure		double min = Double.MAX_VALUE;		double max = Double.MIN_VALUE;		Iterator i = _graph.getVertices().iterator();		while(i.hasNext()) {			Vertex v = (Vertex) i.next();			double value = ((Double) v.getDatum(measure).get()).doubleValue();			max = (value > max ? value : max);			min = (value < min ? value : min);		}		i = _graph.getVertices().iterator();		while(i.hasNext()) {			Vertex v = (Vertex) i.next();			PNode pn;			try {				pn = (PNode) v.getDatum(PGraph.DATUM_POBJ).get();			} catch(NullPointerException e) {				// return				System.err.println("Error: cannot resize nodes until the renderer completes initialization.");				return;			}			double value = ((Double) v.getDatum(measure).get()).doubleValue();			double size = MIN_VERTEX_RADIUS + (MAX_VERTEX_RADIUS - MIN_VERTEX_RADIUS) * (value - min) / (max - min);			r.getRegistry().getNodeItem(pn).setSize(size);		}	}