Fixes #5558 : Skip JdkObsolete Charset API suggestions when source level lacks them#5648

mirkoalicastro wants to merge 1 commit intogoogle:mastergoogle/error-prone:masterfrom

mirkoalicastro:mirkoalicastro/fix-jdkobsolete-source-version-checkmirkoalicastro/error-prone:mirkoalicastro/fix-jdkobsolete-source-version-checkCopy head branch name to clipboard