Thank your for the report Joe. The InstanceManager class is in
/usr/share/java/tomcat8-api.jar. It looks like this jar is missing from
the classpath used by Eclipse. Did you use the version of eclipse
currently in testing/unstable?

Emmanuel Bourg

Reply via email to