mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 78f5fc | patch | commitdiff
Jean-Noel Rouvignac
22.47.2013 67c1c0301333ff42dec6408b6d2bb24cff25fad7
refs
author Jean-Noel Rouvignac <jean-noel.rouvignac@forgerock.com>
Monday, July 22, 2013 14:47 +0200
committer Jean-Noel Rouvignac <jean-noel.rouvignac@forgerock.com>
Monday, July 22, 2013 14:47 +0200
commit67c1c0301333ff42dec6408b6d2bb24cff25fad7
tree 8d7f78c03020f44adefc0fa9dff7eaade86875fc tree | zip | gz
parent 78f5fc123239dec3defad18adfbadc7560f49ae7 view | diff 
Use Map instead of HashMap.
1 files modified
15 ■■■■■ changed files
opends/src/server/org/opends/server/core/LockFileManager.java 15 ●●●●● diff | view | raw | blame | history