code: public void computeDetail(IValue value, IValueDetailListener listener)
  	{
  		String detail = "";
  		try
  		{
  			if (value instanceof VdmValue)
  			{
  				VdmValue vdmValue = (VdmValue) value;
  				vdmValue.getVariables();
  				detail = vdmValue.getRawValue();
  			} else
  			{
  				detail = value.getValueString();
  			}
  
  		} catch (DebugException e)
  		{
  		}
  		listener.detailComputed(value, detail);
  	}
docs: /*
  (non-Javadoc)
  @see org.eclipse.debug.ui.IDebugModelPresentation#computeDetail(org.eclipse.debug.core.model.IValue,
  org.eclipse.debug.ui.IValueDetailListener)