diff --git a/build.xml b/build.xml
index b1355d2ef9..2b2a3c8b8b 100644
--- a/build.xml
+++ b/build.xml
@@ -405,6 +405,7 @@
         </dependencyManagement>
         <developer id="alakshman" name="Avinash Lakshman"/>
         <developer id="antelder" name="Anthony Elder"/>
+        <developer id="benedict" name="Benedict Elliott Smith"/>
         <developer id="brandonwilliams" name="Brandon Williams"/>
         <developer id="eevans" name="Eric Evans"/>
         <developer id="gdusbabek" name="Gary Dusbabek"/>