mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 943c10 | patch | commitdiff
jvergara
16.35.2009 2e1711ad86b0f3625e892609a68efe577fa66cba
refs
author jvergara <jvergara@localhost>
Friday, October 16, 2009 01:35 +0200
committer jvergara <jvergara@localhost>
Friday, October 16, 2009 01:35 +0200
commit2e1711ad86b0f3625e892609a68efe577fa66cba
tree 80dbed56e2e3b2a0d1031858eb64433ab7e3f661 tree | zip | gz
parent 943c10cc9d2d60660c53271a25848ecad77a91e7 view | diff 
Fix some warnings because generics were not used.
1 files modified
8 ■■■■■ changed files
opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 8 ●●●●● diff | view | raw | blame | history