### Eclipse Workspace Patch 1.0
#P org.eclipse.ui.forms
Index: src/org/eclipse/ui/forms/editor/FormEditor.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.ui.forms/src/org/eclipse/ui/forms/editor/FormEditor.java,v
retrieving revision 1.34
diff -u -r1.34 FormEditor.java
--- src/org/eclipse/ui/forms/editor/FormEditor.java	19 Apr 2007 18:59:10 -0000	1.34
+++ src/org/eclipse/ui/forms/editor/FormEditor.java	27 Aug 2007 18:57:21 -0000
@@ -305,7 +305,7 @@
 	protected void commitPages(boolean onSave) {
 		if (pages != null) {
 			for (int i = 0; i < pages.size(); i++) {
-				Object page = (IFormPage)pages.get(i);
+				Object page = pages.get(i);
 				if (page instanceof IFormPage) {
 					IFormPage fpage = (IFormPage)page;
 					IManagedForm mform = fpage.getManagedForm();