diff --git a/build.xml b/build.xml
index 83f629ca48..479e9fbc6b 100644
--- a/build.xml
+++ b/build.xml
@@ -59,7 +59,7 @@ For simple use the main targets are:
 	<property name="version.MINOR" value="2" />
 	<property name="version.PATCH" value="1" />
 	<!-- Set this to '-dev' if a developer release; blank "" if maintenance release; or '-rcX' for release candidate X (X number) -->
-	<property name="version.DEVELOPER" value="-dev" />
+	<property name="version.DEVELOPER" value="" />
 	<!-- Set the release number. Use the form 'R14.01' for release 1 of year 2014. Or leave it blank for a non release -->
 	<property name="release.NAME" value="R14.03" />
 	<property name="release.INFO" value="${release.NAME}"/>