*** firestarter.desktop.in	2005-01-29 12:32:09.000000000 +0000
--- firestarter.desktop.in.patched	2008-08-11 15:16:50.000000000 +0100
***************
*** 2,8 ****
  Encoding=UTF-8
  _Name=Firestarter
  _Comment=Desktop Firewall Tool
! Exec=firestarter
  Icon=firestarter.png
  Terminal=false
  Type=Application
--- 2,8 ----
  Encoding=UTF-8
  _Name=Firestarter
  _Comment=Desktop Firewall Tool
! Exec=vsuper firestarter
  Icon=firestarter.png
  Terminal=false
  Type=Application
