diff -r d1b1878b2eaa -r 7c5997f59e20 jdk/make/Tools.gmk
--- a/jdk/make/Tools.gmk	Fri Mar 07 09:18:15 2014 +0100
+++ b/jdk/make/Tools.gmk	Fri Mar 07 15:01:32 2014 +0100
@@ -61,9 +61,6 @@
 TOOL_COMPILEPROPERTIES = $(JAVA) -cp $(JDK_OUTPUTDIR)/btclasses \
     build.tools.compileproperties.CompileProperties
 
-TOOL_STRIPPROPERTIES = $(JAVA) -cp $(JDK_OUTPUTDIR)/btclasses \
-    build.tools.stripproperties.StripProperties
-
 TOOL_JARREORDER = $(JAVA) -cp $(JDK_OUTPUTDIR)/btclasses \
     build.tools.jarreorder.JarReorder