external-software/github_OpenIdentityPlatform_OpenDJ.git - g.central-computer.de

external-software / github_OpenIdentityPlatform_OpenDJ

mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

blame | history | raw

Fix minor optimization proposed by FindBugs.

Ludovic Poitou

23.20.2011 92d677dfc81d88565a414df2b1c5be5f375d623a

1
.