| --- plugins/org.eclipse.core.resources/build.properties.orig 2011-05-10 08:08:37.693585717 -0500 | |
| +++ plugins/org.eclipse.core.resources/build.properties 2011-05-10 08:08:42.968582268 -0500 | |
| @@ -25,3 +25,6 @@ | |
| jars.extra.classpath = platform:/plugin/org.apache.ant/lib/ant.jar | |
| javacWarnings..=-raw,-unchecked | |
| javacWarnings.ant_tasks/resources-ant.jar=-raw,-unchecked | |
| +jre.compilation.profile = J2SE-1.5 | |
| +javacSource=1.5 | |
| +javacTarget=1.5 | |
| + |