<div dir="ltr"><div>Hi Sean (or other FTP Team members),</div><div><br></div><div>Following up on my previous note below. Upstream decided to remove one of the source files (NotNull.java) in addition to the licensing clarifications they previously provided. In light of that, I have updated the package waiting in NEW. [3] As always, please let me know if you have any questions or concerns!!</div><div><br></div><div>-Olek</div><div><br></div><div>[3] <a href="https://ftp-master.debian.org/new/checker-framework-java_3.0.1+ds2-1~exp1.html">https://ftp-master.debian.org/new/checker-framework-java_3.0.1+ds2-1~exp1.html</a></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Oct 22, 2020 at 5:09 PM Olek Wojnar <<a href="mailto:olek@debian.org" target="_blank">olek@debian.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">Hi Sean and thanks for the summary. That's quite the thorough review! Fortunately, I think I can easily address all of your concerns.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Oct 21, 2020 at 9:00 PM Sean Whitton <<a href="mailto:ftpmaster@ftp-master.debian.org" target="_blank">ftpmaster@ftp-master.debian.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
+----------------------+<br>
|   REJECT reasoning   |<br>
+----------------------+<br>
<br>
I found various .class files where it is not clear we have the Java source<br>
code for them.  </blockquote><div><br></div><div>The only three .class files I found in the source code were for a bug test case at:</div><div>checker/jtreg/nullness/issue2173/*</div><div><br></div><div>Is that what you were concerned about? If so, you can consider that problem solved as I have removed them from the +ds1 version of the package.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">In addition, one of our trainees found the following:<br>
<br>
Contains code with a declared upstream of non-free docs.<br></blockquote><div><br></div><div>Is this the checker/src/testannotations/java/javax/validation/constraints/NotNull.java file? If so, please see below.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Various missing licenses.<br>
<br>
checker/src/testannotations/java/android/* is copyright 2013, The Android Open Source Project, Apache-2.0<br>
<br>
checker/src/testannotations/java/edu/umd/cs/findbugs/annotations/* is copyright 2005, University of Maryland, LGPL-2.1+<br>
<br>
checker/src/testannotations/java/javax/validation/constraints/* is copyright Oracle and NONFREE<br>
<br>
checker/src/testannotations/java/net/jcip/annotations/* is (c) 2005 Brian Goetz and Tim Peierls, CC-BY-2.5<br>
<br>
checker/src/testannotations/java/org/eclipse/jdt/annotation/* is (c) the Eclipse Foundation, EPL-2.0<br>
<br>
checker/src/testannotations/java/org/eclipse/jgit/annotations/* is (c) The Eclipse Foundation, BSD-3-Clause<br>
<br>
checker/src/testannotations/java/org/jetbrains/annotations/* is (c) JetBrains s.r.o, Apache-2.0<br>
<br>
checker/src/testannotations/java/org/netbeans/api/annotations/common/* is (c) Apache Software Foundation, Apache-2.0<br>
<br>
checker/src/testannotations/java/org/springframework/lang/* is Copyright 2002-2019 the original author or authors., Apache-2.0<br></blockquote><div><br></div><div>Upstream has clarified [1] that those are clean-room reimplementations of the corresponding specifications. They have added the clarification to the relevant source code files and I added a clarification note in d/copyright referencing the upstream change.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">dataflow/manual/*.sty is (c) various, LPPL-1.3+ and embedded copies<br></blockquote><div><br></div><div>Good point. Also removed in the +ds1 version. No loss since we're not even packaging dataflow right now.</div><div><br></div><div>Given the relatively minor fixes and the fact that this is blocking Bazel, would it be possible for someone to take a quick look at the fixed version that I just uploaded? [2] Thank you!</div><div><br></div><div>-Olek</div><div><br></div><div>[1] <a href="https://github.com/typetools/checker-framework/issues/3819" target="_blank">https://github.com/typetools/checker-framework/issues/3819</a></div><div>[2] <a href="https://ftp-master.debian.org/new/checker-framework-java_3.0.1+ds1-1~exp1.html" target="_blank">https://ftp-master.debian.org/new/checker-framework-java_3.0.1+ds1-1~exp1.html</a></div><div><br></div></div></div>
</blockquote></div></div>