Uses of Class
org.jmlspecs.eclipse.jdt.ui.Activator

Packages that use Activator

org.jmlspecs.eclipse.jdt.ui

Uses of Activator in org.jmlspecs.eclipse.jdt.ui

Methods in org.jmlspecs.eclipse.jdt.ui that return Activator

static Activator

Activator.getDefault() Returns the shared instance