--- a/make/Main.gmk	Wed Oct 03 15:54:35 2018 +0200
+++ b/make/Main.gmk	Wed Oct 03 16:02:24 2018 +0200
@@ -1140,11 +1140,6 @@
 
 ################################################################################
 
-# Include JPRT targets
-include $(TOPDIR)/make/Jprt.gmk
-
-################################################################################
-
 # The following targets are intentionally not added to ALL_TARGETS since they
 # are internal only, to support Init.gmk.