--- a/Source/DafnyRuntime/DafnyRuntime.csproj
+++ b/Source/DafnyRuntime/DafnyRuntime.csproj
@@ -28,15 +28,5 @@
   <PropertyGroup>
     <DafnyRuntimeJar>DafnyRuntimeJava/build/libs/DafnyRuntime-4.4.0.jar</DafnyRuntimeJar>
   </PropertyGroup>
-  <Target Name="BuildDafnyRuntimeJar" AfterTargets="ResolveReferences" BeforeTargets="CoreCompile" Inputs="$(MSBuildProjectFile);@(DafnyRuntimeJavaInputFile)" Outputs="$(DafnyRuntimeJar)">
-    
-    <Message Text="Compiling DafnyRuntimeJava to $(DafnyRuntimeJar)..." Importance="high" />
-    <!-- For some reason the DafnyRuntime.jar was often not (yet?) created after this Target was run, leading to build failures. 
-       We've removed the 'clean' step that was before 'build', so the DafnyRuntime.jar from a previous run can be used. -->
-    <ItemGroup>
-      <!-- Register the generated file to be deleted when cleaning -->
-      <FileWrites Include="$(DafnyRuntimeJar)" />
-    </ItemGroup>
-  </Target>
 
 </Project>