eclipse / gerrit / www.eclipse.org / emf / compare / 5246457af19a50f184898010b24717c9e4fceb65 / . / documentation / 3.1.0.201505180755 / developer / javadoc / org / eclipse / emf / compare / ide / ui / internal / progress / class-use