mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 48ad33 | patch | commitdiff
jvergara
16.35.2009 f5e0af0267130d5210346b48056f6292e0b2f6ac
refs
author jvergara <jvergara@localhost>
Friday, October 16, 2009 01:35 +0200
committer jvergara <jvergara@localhost>
Friday, October 16, 2009 01:35 +0200
commitf5e0af0267130d5210346b48056f6292e0b2f6ac
tree 381d374be10659f52aa4812b88126a7d75864b4c tree | zip | gz
parent 48ad33e4575b1b5b9d7b128f657c504da3c9a1f0 view | diff 
Fix some warnings because generics were not used.
1 files modified
8 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 8 ●●●●● diff | view | raw | blame | history