Index: arduino-0022/build/build.xml =================================================================== --- arduino-0022.orig/build/build.xml +++ arduino-0022/build/build.xml @@ -122,7 +122,6 @@ <tokenfilter> <linetokenizer /> <containsregex pattern="String VERSION_NAME = "/> - <replaceregex pattern="[^0-9]*" flags="g" replace=""/> </tokenfilter> </filterchain> </loadfile>