diff -Nru tapaal-2.0/debian/bzr-builder.manifest tapaal-2.0/debian/bzr-builder.manifest
--- tapaal-2.0/debian/bzr-builder.manifest	2011-07-03 08:22:15.000000000 +0000
+++ tapaal-2.0/debian/bzr-builder.manifest	2011-07-04 08:28:10.000000000 +0000
@@ -1,3 +1,3 @@
-# bzr-builder format 0.3 deb-version {debupstream}-0~532
-lp:tapaal revid:kenneth@yrke.dk-20110702214214-di2t5x4l56271cpd
+# bzr-builder format 0.3 deb-version {debupstream}-0~533
+lp:tapaal revid:srba@cs.aau.dk-20110703092335-4g0f7rwfcpn25ym6
 nest packaging lp:~tapaal-packaging/+junk/auto-packaging-trunk debian revid:mail@yrke.dk-20110627222245-dxyn08myij91p2om
diff -Nru tapaal-2.0/debian/changelog tapaal-2.0/debian/changelog
--- tapaal-2.0/debian/changelog	2011-07-03 08:22:15.000000000 +0000
+++ tapaal-2.0/debian/changelog	2011-07-04 08:28:10.000000000 +0000
@@ -1,8 +1,8 @@
-tapaal (2.0-0~532~lucid1) maverick; urgency=low
+tapaal (2.0-0~533~lucid1) maverick; urgency=low
 
   * Auto build.
 
- -- Launchpad Package Builder <noreply@launchpad.net>  Sun, 03 Jul 2011 08:22:15 +0000
+ -- Launchpad Package Builder <noreply@launchpad.net>  Mon, 04 Jul 2011 08:28:10 +0000
 
 tapaal (2.0) maverick; urgency=low
 
diff -Nru tapaal-2.0/tools/old/tapaal.bat tapaal-2.0/tools/old/tapaal.bat
--- tapaal-2.0/tools/old/tapaal.bat	1970-01-01 00:00:00.000000000 +0000
+++ tapaal-2.0/tools/old/tapaal.bat	2011-07-04 08:28:09.000000000 +0000
@@ -0,0 +1,9 @@
+echo off 
+set verifytapath="%PROGRAMFILES%\uppaal-dev\bin-Win32\verifyta.exe" 
+if exist %verifytapath% set verifyta=%verifytapath% 
+ 
+:::: Remove :: from the next line to set path to verifyta 
+:: set verifyta="C:\Programmer\uppaal-dev\bin-Win32\verifyta.exe" 
+ 
+cd lib 
+java -cp  .;* TAPAAL
diff -Nru tapaal-2.0/tools/old/tapaal-mac tapaal-2.0/tools/old/tapaal-mac
--- tapaal-2.0/tools/old/tapaal-mac	1970-01-01 00:00:00.000000000 +0000
+++ tapaal-2.0/tools/old/tapaal-mac	2011-07-04 08:28:09.000000000 +0000
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+##Overwrite verifyta path:
+#verifyta=/path/to/verifyta
+
+if [ -z $verifyta ]; then
+        #Search path for verifyta
+	if [ -f /Applications/verifyta ]; then
+	        export verifyta=/Applications/verifyta
+	fi 
+fi
+
+( cd `dirname "$0"`; cd lib; java -Xdock:name=TAPAAL -Dcom.apple.mrj.application.growbox.intrudes=false -Dcom.apple.macos.smallTabs=true -Dcom.apple.mrj.application.apple.menu.about.name=TAPAAL -Dcom.apple.macos.useScreenMenuBar=true -cp .:* TAPAAL )
diff -Nru tapaal-2.0/tools/tapaal.bat tapaal-2.0/tools/tapaal.bat
--- tapaal-2.0/tools/tapaal.bat	2011-07-03 08:22:15.000000000 +0000
+++ tapaal-2.0/tools/tapaal.bat	1970-01-01 00:00:00.000000000 +0000
@@ -1,9 +0,0 @@
-echo off 
-set verifytapath="%PROGRAMFILES%\uppaal-dev\bin-Win32\verifyta.exe" 
-if exist %verifytapath% set verifyta=%verifytapath% 
- 
-:::: Remove :: from the next line to set path to verifyta 
-:: set verifyta="C:\Programmer\uppaal-dev\bin-Win32\verifyta.exe" 
- 
-cd lib 
-java -cp  .;* TAPAAL
diff -Nru tapaal-2.0/tools/tapaal-mac tapaal-2.0/tools/tapaal-mac
--- tapaal-2.0/tools/tapaal-mac	2011-07-03 08:22:15.000000000 +0000
+++ tapaal-2.0/tools/tapaal-mac	1970-01-01 00:00:00.000000000 +0000
@@ -1,13 +0,0 @@
-#!/bin/sh
-
-##Overwrite verifyta path:
-#verifyta=/path/to/verifyta
-
-if [ -z $verifyta ]; then
-        #Search path for verifyta
-	if [ -f /Applications/verifyta ]; then
-	        export verifyta=/Applications/verifyta
-	fi 
-fi
-
-( cd `dirname "$0"`; cd lib; java -Xdock:name=TAPAAL -Dcom.apple.mrj.application.growbox.intrudes=false -Dcom.apple.macos.smallTabs=true -Dcom.apple.mrj.application.apple.menu.about.name=TAPAAL -Dcom.apple.macos.useScreenMenuBar=true -cp .:* TAPAAL )