Remove accidental change to build.properties

Chris Ridd

22.24.2014 9fe2ca898c3a22da75b561f4a12d009400c2f321

1
2
DocBook XML source for OpenDJ core user documentation. Java API and
configuration reference documentation is generated from OpenDJ source code.