Missing dependency in Vaadin 7 ?

Hello,

Running Javadoc on a new Vaadin-7 project, I encountered the following errors:

a few like:

/home/jens/netbeans/ExtLibs/Vaadin7/vaadin-server-7.0.0.beta9.jar(com/vaadin/server/VaadinService.java):31: error: package javax.portlet does not exist
import javax.portlet.PortletContext;
^

They could be healed by including portlet-api-2.0.jar (JSR-286) in the lib search path

and:
/home/jens/netbeans/ExtLibs/Vaadin7/vaadin-server-7.0.0.beta9.jar(com/vaadin/server/AbstractCommunicationManager.java):63: error: cannot access JavaScript
import com.vaadin.annotations.JavaScript;
^
bad source file: /home/jens/netbeans/ExtLibs/Vaadin7/vaadin-server-7.0.0.beta9.jar(com/vaadin/annotations/JavaScript.java)
file does not contain class com.vaadin.annotations.JavaScript
Please remove or make sure it appears in the correct subdirectory of the sourcepath.

greets

I see the same issue when building my Vaadin-based project through Gradle (Gradle Vaadin Plugin 0.7):

:webshared:javadoc
C:\Users\ask\.gradle\caches\modules-2\files-2.1\com.vaadin\vaadin-server\7.0.7\304043ece9968c0f1062e05c32121d85dae34035\vaadin-server-7.0.7.jar(com/vaadin/server/VaadinRe
quest.java):29: error: package javax.portlet does not exist
import javax.portlet.ClientDataRequest;
                    ^
C:\Users\ask\.gradle\caches\modules-2\files-2.1\com.vaadin\vaadin-server\7.0.7\304043ece9968c0f1062e05c32121d85dae34035\vaadin-server-7.0.7.jar(com/vaadin/server/VaadinRe
quest.java):30: error: package javax.portlet does not exist
import javax.portlet.PortletRequest;
                    ^
C:\Users\ask\.gradle\caches\modules-2\files-2.1\com.vaadin\vaadin-server\7.0.7\304043ece9968c0f1062e05c32121d85dae34035\vaadin-server-7.0.7.jar(com/vaadin/server/VaadinRe
sponse.java):24: error: package javax.portlet does not exist
import javax.portlet.MimeResponse;
                    ^
C:\Users\ask\.gradle\caches\modules-2\files-2.1\com.vaadin\vaadin-server\7.0.7\304043ece9968c0f1062e05c32121d85dae34035\vaadin-server-7.0.7.jar(com/vaadin/server/VaadinRe
sponse.java):25: error: package javax.portlet does not exist
import javax.portlet.PortletResponse;
                    ^
C:\Users\ask\.gradle\caches\modules-2\files-2.1\com.vaadin\vaadin-server\7.0.7\304043ece9968c0f1062e05c32121d85dae34035\vaadin-server-7.0.7.jar(com/vaadin/server/VaadinRe
sponse.java):26: error: package javax.portlet does not exist
import javax.portlet.ResourceResponse;
                    ^
C:\Users\ask\.gradle\caches\modules-2\files-2.1\com.vaadin\vaadin-server\7.0.7\304043ece9968c0f1062e05c32121d85dae34035\vaadin-server-7.0.7.jar(com/vaadin/server/VaadinSe
ssion.java):32: error: package javax.portlet does not exist
import javax.portlet.PortletSession;
                    ^
C:\Users\ask\.gradle\caches\modules-2\files-2.1\com.vaadin\vaadin-server\7.0.7\304043ece9968c0f1062e05c32121d85dae34035\vaadin-server-7.0.7.jar(com/vaadin/server/WrappedS
ession.java):22: error: package javax.portlet does not exist
import javax.portlet.PortletSession;
                    ^
C:\Users\ask\.gradle\caches\modules-2\files-2.1\com.vaadin\vaadin-server\7.0.7\304043ece9968c0f1062e05c32121d85dae34035\vaadin-server-7.0.7.jar(com/vaadin/server/VaadinSe
rvice.java):31: error: package javax.portlet does not exist
import javax.portlet.PortletContext;
                    ^
C:\Users\ask\.gradle\caches\modules-2\files-2.1\com.vaadin\vaadin-server\7.0.7\304043ece9968c0f1062e05c32121d85dae34035\vaadin-server-7.0.7.jar(com/vaadin/server/Abstract
CommunicationManager.java):63: error: cannot access JavaScript
import com.vaadin.annotations.JavaScript;
                             ^
  bad source file: C:\Users\ask\.gradle\caches\modules-2\files-2.1\com.vaadin\vaadin-server\7.0.7\304043ece9968c0f1062e05c32121d85dae34035\vaadin-server-7.0.7.jar(com/vaa
din/annotations/JavaScript.java)
    file does not contain class com.vaadin.annotations.JavaScript
    Please remove or make sure it appears in the correct subdirectory of the sourcepath.

Jens, did you find a solution for the second issue (JavaScript class)?