/* (non-Javadoc)
  * @see org.eclipse.cdt.debug.gdbjtag.core.jtagdevice.DefaultGDBJtagDeviceImpl#doReset(java.util.Collection)
  */
 public void doReset(Collection<String> commands) {
   super.addCmd(commands, "monitor resetrun");
 }
 /* (non-Javadoc)
  * @see org.eclipse.cdt.debug.gdbjtag.core.jtagdevice.DefaultGDBJtagDeviceImpl#doDelay(int, java.util.Collection)
  */
 public void doDelay(int delay, Collection<String> commands) {
   super.addCmd(commands, "monitor sleep " + String.valueOf(delay));
 }