/**
* Refreshes the page with a new resource.
*
* @param newResource new resource for the page
*/
public void refresh(IResource newResource) {
super.refresh(newResource);
if (isTableShown) {
refreshDFATable(newResource);
} else {
isTableRefreshed = false;
}
refreshMethodSelector();
}
