add platform.zip from platform-java to dist

Change-Id: I08e110edf70ef5ec313ee02e03803fa152f0aa6a
diff --git a/core/Makefile b/core/Makefile
index 72a43cc..b88399e 100644
--- a/core/Makefile
+++ b/core/Makefile
@@ -842,8 +842,8 @@
 platform-java: platform
 
 # Dist the platform.zip
-ifneq (,$(filter platform, $(MAKECMDGOALS)))
-$(call dist-for-goals, platform, $(INSTALLED_PLATFORM_ZIP))
+ifneq (,$(filter platform platform-java, $(MAKECMDGOALS)))
+$(call dist-for-goals, platform platform-java, $(INSTALLED_PLATFORM_ZIP))
 endif
 
 #######