I'm trying to figure out what what is the specification of this method (``ScalaClassFile.getCorrespondingElement``).

The declaration of this method (in ``JavaEditor``) says:
```
/**
 * Returns the java element of this editor's input corresponding to the given IJavaElement.
 *
 * @param element the java element
 * @return the corresponding Java element
 */
 abstract protected IJavaElement getCorrespondingElement(IJavaElement element);
```

Which is not really making it clear to me what's the actual purpose. I'd really appreciate if you could shed some light.