NullPointerException when clicking any Explore item while on Workbench "Change Server" page

Description

When on the "Change Server" page (repositories/NONE/server), the menu items under "Explore" aren't disabled, and when clicked, result in a NullPointerException and stack trace, e.g.:

java.lang.NullPointerException
org.openrdf.workbench.commands.SummaryServlet.service(SummaryServlet.java:34)
org.openrdf.workbench.base.TransformationServlet.service(TransformationServlet.java:99)
org.openrdf.workbench.base.TransformationServlet.service(TransformationServlet.java:78)
org.openrdf.workbench.base.BaseServlet.service(BaseServlet.java:40)
org.openrdf.workbench.proxy.ProxyRepositoryServlet.service(ProxyRepositoryServlet.java:93)
org.openrdf.workbench.proxy.WorkbenchServlet.service(WorkbenchServlet.java:131)
org.openrdf.workbench.proxy.WorkbenchServlet.service(WorkbenchServlet.java:90)
org.openrdf.workbench.proxy.WorkbenchGateway.service(WorkbenchGateway.java:109)
org.openrdf.workbench.base.BaseServlet.service(BaseServlet.java:40)
org.openrdf.workbench.proxy.CookieCacheControlFilter.doFilter(CookieCacheControlFilter.java:52)

Environment

Operating System: Ubuntu 12.04 LTS (32-bit); Linux 3.2.0-33-generic (i386)
Java Runtime: Oracle Corporation OpenJDK Client VM (1.7.0_09)
App Container: Tomcat 7

Status

Assignee

Jeen Broekstra

Reporter

Dale W. Visser

Labels

None

Components

Fix versions

Affects versions

Priority

Minor
Configure