hg: jdk-updates/jdk11u-dev: 8211350: Remove jprt support

[christoph.langer at sap.com]

Changeset: 13e7b95fb06c
Author:    mikael
Date:      2018-10-02 22:36 -0700
URL:       http://hg.openjdk.java.net/jdk-updates/jdk11u-dev/rev/13e7b95fb06c

8211350: Remove jprt support
Reviewed-by: dholmes, erikj, mchung, alanb, jjg

- make/Jprt.gmk
! make/Main.gmk
! make/conf/jib-profiles.js
- make/jprt.properties
! src/hotspot/os/linux/os_linux.cpp
! test/TestCommon.gmk
! test/hotspot/jtreg/TEST.groups
- test/hotspot/jtreg/jprt.config
! test/jdk/ProblemList.txt
! test/jdk/TEST.groups
! test/jdk/com/sun/jdi/cds/CDSJDITest.java
! test/jdk/java/lang/String/CompactString/CompactString.java
! test/jdk/java/lang/StringBuffer/CompactStringBuffer.java
! test/jdk/java/lang/StringBuilder/CompactStringBuilder.java
- test/jdk/jprt.config
! test/jdk/lib/security/CheckBlacklistedCerts.java
! test/jdk/tools/jimage/JImageTest.java
! test/jdk/tools/jlink/plugins/StringSharingPluginTest.java
! test/jdk/tools/jlink/plugins/StripDebugPluginTest.java
! test/jdk/tools/lib/tests/Helper.java
! test/jdk/tools/pack200/Pack200Test.java
! test/jdk/tools/pack200/TestExceptions.java
! test/langtools/Makefile