Add Jenkins build number at About dialog

cat plugin_directory/plugin.properties

aboutText=blah blah\n\n\
Build Number: 

 

cat build.xml

...

<target name="before-pde-build">

<echo file="${buildDirectory}/plugins/plug_in_name/plugin.properties" message=${env.BUILD_NUMBER}" append="true"/>
</target>