What do I need to change to affect the derby release build number

[Bergquist, Brett]

I need to build a private copy of Derby 10.8.1.2 with a fix for:

https://issues.apache.org/jira/browse/DERBY-5352

And I want to uniquely identify that this is my private build and not build 
10.8.1.2.  Where should I make a change so that this can easily be seen.  I 
would really like this to come out something like in the derby.log with 
something like "10.8.1.2 CP Special 1" or something similar.

Thanks.

Brett