Updated version to go along with the merge of pull request #378 from
Kareem Farid.
diff --git a/VERSION b/VERSION
index 817f3c1..95eba16 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.0.415
+1.0.416