added jquery-ui to all-app.js
diff --git a/version.num b/version.num
index e04c414..1e59c84 100644
--- a/version.num
+++ b/version.num
@@ -1 +1 @@
-417
\ No newline at end of file
+420
\ No newline at end of file