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