Add NotNull annotations

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/PseudocodeUtil.java

@@ -35,6 +35,7 @@ public class PseudocodeUtil {
 
     public static Pseudocode generatePseudocode(@NotNull JetDeclaration declaration, @NotNull final BindingContext bindingContext) {
         BindingTrace mockTrace = new BindingTrace() {
+            @NotNull
             @Override
             public BindingContext getBindingContext() {
                 return bindingContext;

compiler/frontend/src/org/jetbrains/jet/lang/resolve/BindingTrace.java

@@ -26,6 +26,7 @@ import java.util.Collection;
 
 public interface BindingTrace extends DiagnosticHolder {
 
+    @NotNull
     BindingContext getBindingContext();
     
     <K, V> void record(WritableSlice<K, V> slice, K key, V value);

compiler/frontend/src/org/jetbrains/jet/lang/resolve/BindingTraceContext.java

@@ -88,6 +88,7 @@ public class BindingTraceContext implements BindingTrace {
         diagnosticList.clear();
     }
 
+    @NotNull
     @Override
     public BindingContext getBindingContext() {
         return bindingContext;

compiler/frontend/src/org/jetbrains/jet/lang/resolve/ObservableBindingTrace.java

@@ -43,6 +43,7 @@ public class ObservableBindingTrace implements BindingTrace {
         originalTrace.report(diagnostic);
     }
 
+    @NotNull
     @Override
     public BindingContext getBindingContext() {
         return originalTrace.getBindingContext();

compiler/frontend/src/org/jetbrains/jet/lang/resolve/TraceUtil.java

@@ -28,6 +28,7 @@ import java.util.Collection;
 public class TraceUtil {
     public final static BindingTrace TRACE_STUB = new BindingTrace() {
 
+        @NotNull
         @Override
         public BindingContext getBindingContext() {
             return BINDING_CONTEXT_STUB;

compiler/frontend/src/org/jetbrains/jet/lang/resolve/lazy/storage/LockBasedLazyResolveStorageManager.java

@@ -131,6 +131,7 @@ public class LockBasedLazyResolveStorageManager extends LockBasedStorageManager
             this.context = new LockProtectedContext(lock, trace.getBindingContext());
         }
 
+        @NotNull
         @Override
         public BindingContext getBindingContext() {
             return context;

compiler/tests/org/jetbrains/jet/JetTestUtils.java

@@ -100,6 +100,7 @@ public class JetTestUtils {
     public static final BindingTrace DUMMY_TRACE = new BindingTrace() {
 
 
+        @NotNull
         @Override
         public BindingContext getBindingContext() {
             return new BindingContext() {
@@ -160,6 +161,7 @@ public class JetTestUtils {
     };
 
     public static BindingTrace DUMMY_EXCEPTION_ON_ERROR_TRACE = new BindingTrace() {
+        @NotNull
         @Override
         public BindingContext getBindingContext() {
             return new BindingContext() {