Remove unnecessary casts

Author: HeikoKlare

ua/org.eclipse.help/src/org/eclipse/help/internal/criteria/CriteriaDefinitionManager.java

@@ -107,7 +107,7 @@ else if (contrib[j].getCriteriaDefinition() == null) {
 					contribution.setId(contrib[j].getId());
 					contribution.setLocale(contrib[j].getLocale());
 					ICriteriaDefinition criteria = contrib[j].getCriteriaDefinition();
-					contribution.setCriteriaDefinition(criteria instanceof CriteriaDefinition ? (CriteriaDefinition)criteria  : (CriteriaDefinition)UAElementFactory.newElement(criteria));
+					contribution.setCriteriaDefinition(criteria instanceof CriteriaDefinition ? criteria  : (CriteriaDefinition)UAElementFactory.newElement(criteria));
 					contributions.add(contribution);
 				}
 			}

ua/org.eclipse.help/src/org/eclipse/help/internal/index/IndexManager.java

@@ -104,7 +104,7 @@ private IndexContribution[] readIndexContributions(String locale) {
 						contribution.setId(contrib[j].getId());
 						contribution.setLocale(contrib[j].getLocale());
 						IIndex index = contrib[j].getIndex();
-						contribution.setIndex(index instanceof Index ? (Index) index
+						contribution.setIndex(index instanceof Index ? index
 								: (Index) UAElementFactory.newElement(index));
 						contributions.add(contribution);
 					}