if(location != Locations.NO_LOCATION) {
int begin = Locations.beginOf(location);
int end = Locations.endOf(location);
editor.selectAndReveal(begin, end-begin);
}
} catch (PartInitException e) {
if(location != Locations.NO_LOCATION) {
int begin = Locations.beginOf(location);
int end = Locations.endOf(location);
editor.selectAndReveal(begin, end-begin);
}
} catch (PartInitException e) {