mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 93becc | patch | commitdiff
abobrov
07.33.2007 ad253622c4980e715f2003c9bbfc5998f62bc06c
refs
author abobrov <abobrov@localhost>
Friday, September 7, 2007 05:33 +0200
committer abobrov <abobrov@localhost>
Friday, September 7, 2007 05:33 +0200
commitad253622c4980e715f2003c9bbfc5998f62bc06c
tree 25650e8c9c071ac02dae2a84eef9a2431f44240b tree | zip | gz
parent 93becc46b5c013e1c1a5e76aa36261d6e977dc75 view | diff 
- Use runtime cast to workaround a bug in JDK versions prior to 1.5.0_08.
1 files modified
8 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/admin/AggregationPropertyDefinition.java 8 ●●●●● diff | view | raw | blame | history