--- plugins/org.eclipse.core.resources/component.xml.orig 2007-06-26 04:57:20.000000000 +0900 +++ plugins/org.eclipse.core.resources/component.xml 2007-09-06 11:12:08.000000000 +0900 @@ -7,6 +7,7 @@ +