diff --git a/build.xml b/build.xml
index d887bb6747..fdddb6144e 100644
--- a/build.xml
+++ b/build.xml
@@ -396,6 +396,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"/>