Message9128

Relevant properties are in build.xml, specifically jython.release_serial:

        <!-- The current version info -->
        <property name="jython.version" value="2.7b3+"/>
        <property name="jython.version.noplus" value="2.7b3"/>
        <property name="jython.major_version" value="2"/>
        <property name="jython.minor_version" value="7"/>
        <property name="jython.micro_version" value="0"/>
        <property name="jython.release_level" value="${PY_RELEASE_LEVEL_BETA}"/>
        <!-- Usually zero, only used for alpha, beta and candidate versions
             where it must be greater than zero. -->
        <property name="jython.release_serial" value="2"/>
        <property name="jython.java.version" value="1.7"/>