final int type = resource.getType();
if (type == IResource.FILE) {
// First check that the resource is within the policy source
// hierarchy.
if (inPolicySource(resource)) {
FileExtension fileExtension =
FileExtension.getFileExtensionForExtension(
resource.getFileExtension());
if (fileExtension != null &&
fileExtension.isPolicyFileExtension()) {
// Always clear the markers for this resource.
clearMarkers(resource);
// This file is a recognized file type which may now
// be validated.