JBIDE-13821 just in case there are still jobs out there that use TARGET_PLATFORM_VERSION-maximum, mark it deprecated in JBT 4.0 with removal in 4.1; fix comments inline