mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8d9489 | patch | commitdiff
Chris Ridd
16.17.2012 f1bc33c29f73272fbf39f13c74c7351cb3890a8a
refs
author Chris Ridd <chris.ridd@forgerock.com>
Monday, July 16, 2012 10:17 +0200
committer Chris Ridd <chris.ridd@forgerock.com>
Monday, July 16, 2012 10:17 +0200
commitf1bc33c29f73272fbf39f13c74c7351cb3890a8a
tree 94718b21511fd6e6566ab3ce266172ca8301fc28 tree | zip | gz
parent 8d94894fb46ca9f14b58f2bbea6ed7ba5fa628de view | diff 
Remove annotations on PublicAPI

It looks odd/meaningless to annotate the PublicAPI class with its own
annotations, so this removes them.

Their presence caused build issues with Eclipse's JavaBuilder on OS X
(both JDK 6 and JDK 7) yet the standalone ./build.sh worked fine.

It looks safe to remove them.
1 files modified
6 ■■■■■ changed files
opends/src/server/org/opends/server/types/PublicAPI.java 6 ●●●●● diff | view | raw | blame | history