commit c133990290c268252fbec1a8052eb6c9886d91cb
author Stephan Herrmann <stephan@cs.tu-berlin.de> Mon Jan 24 22:45:16 2011 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> Mon Jan 24 22:45:16 2011 +0000
tree 070c45aaf36f6d19d98a4ecb45573cd78686422f
parent da428acb60bc3c92d08d61b04066ee1c92b0afd4

- implement general preference org.eclipse.jdt.core.compiler.annotation.nulldefault
  - apply its value in fillInNullNessDefault()
- temporary tweak: don't complain against tightening contract inherited 
  from binary type (disabled)
- fix issue with compile order where bindArguments of super type 
  was not done before verifyMethods
TODO: check if transitive inheritance of annotations and defaults play well together
 regarding compile order.

features/org.eclipse.objectteams.jdt.nullity.feature/build.properties

diff --git a/features/org.eclipse.objectteams.jdt.nullity.feature/build.properties b/features/org.eclipse.objectteams.jdt.nullity.feature/build.properties
index 64f93a9..2cbd854 100644
--- a/features/org.eclipse.objectteams.jdt.nullity.feature/build.properties
+++ b/features/org.eclipse.objectteams.jdt.nullity.feature/build.properties
@@ -1 +1,3 @@
-bin.includes = feature.xml
+bin.includes = feature.xml,\
+               feature.properties,\
+               license.html