mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 110dba | patch | commitdiff
Chris Ridd
16.17.2012 1cc809d0bee2b7ecac56619be5c531ce179424b6
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
commit1cc809d0bee2b7ecac56619be5c531ce179424b6
tree eb7886a100855ced5b86e49bebc8a9795ceea4e8 tree | zip | gz
parent 110dba555c0c81e7f9754c84445051ea7125c67b 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
opendj-sdk/opends/src/server/org/opends/server/types/PublicAPI.java 6 ●●●●● diff | view | raw | blame | history