Index: model/org/eclipse/jdt/internal/core/builder/BatchImageBuilder.java =================================================================== retrieving revision 1.42 diff -u -r1.42 BatchImageBuilder.java --- model/org/eclipse/jdt/internal/core/builder/BatchImageBuilder.java 8 Dec 2003 17:43:04 -0000 1.42 +++ model/org/eclipse/jdt/internal/core/builder/BatchImageBuilder.java 25 Dec 2003 19:24:18 -0000 @@ -113,6 +113,7 @@ new IResourceVisitor() { public boolean visit(IResource resource) throws CoreException { resource.setDerived(true); + resource.setReadOnly(false); return resource.getType() != IResource.FILE; } } @@ -209,6 +210,7 @@ } resource.copy(copiedResource.getFullPath(), IResource.FORCE, null); copiedResource.setDerived(true); + copiedResource.setReadOnly(false); return false; case IResource.FOLDER : resource = proxy.requestResource(); Index: model/org/eclipse/jdt/internal/core/builder/IncrementalImageBuilder.java =================================================================== retrieving revision 1.63 diff -u -r1.63 IncrementalImageBuilder.java --- model/org/eclipse/jdt/internal/core/builder/IncrementalImageBuilder.java 8 Dec 2003 15:55:05 -0000 1.63 +++ model/org/eclipse/jdt/internal/core/builder/IncrementalImageBuilder.java 25 Dec 2003 19:24:28 -0000 @@ -455,6 +455,7 @@ createFolder(resourcePath.removeLastSegments(1), md.binaryFolder); // ensure package exists in the output folder resource.copy(outputFile.getFullPath(), IResource.FORCE, null); outputFile.setDerived(true); + outputFile.setReadOnly(false); return; case IResourceDelta.REMOVED : if (outputFile.exists()) { @@ -476,6 +477,7 @@ createFolder(resourcePath.removeLastSegments(1), md.binaryFolder); // ensure package exists in the output folder resource.copy(outputFile.getFullPath(), IResource.FORCE, null); outputFile.setDerived(true); + outputFile.setReadOnly(false); } return; }