diff options
author | Andrey Loskutov | 2015-11-15 15:47:39 +0000 |
---|---|---|
committer | Andrey Loskutov | 2015-11-15 15:47:39 +0000 |
commit | b3596711ae6533669dcd948a24cad252728103d9 (patch) | |
tree | 21b457d1db9330d32cccaf3b5d3da26730e48636 /org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/uitext.properties | |
parent | 1b519b6544b4ba4fc1bb31a68d0ad2edbf18e380 (diff) | |
download | egit-b3596711ae6533669dcd948a24cad252728103d9.tar.gz egit-b3596711ae6533669dcd948a24cad252728103d9.tar.xz egit-b3596711ae6533669dcd948a24cad252728103d9.zip |
Follow JGit, use org.eclipse.jgit.annotations.Nullable in EGit too
Since the commit deb853cb691caf55affe1e4fbfad29b670591140 jgit uses its
own Nullable annotation type, so JDT fails to catch NP violations in
EGit code which uses default Nullable type from JDT. This looks like a
bug in JDT NP analysis, but till it is fixed we better use the JGit
version of Nullable. Other annotations aren't affected yet, since JGit
didn't defined it's own version of NonNull and NonNullByDefault.
Change-Id: I7f6cbce9633e7552ee22ea6a9e7c1836c67a7ad4
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
Diffstat (limited to 'org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/uitext.properties')
0 files changed, 0 insertions, 0 deletions