8156954: javac incorrectly complains of incompatible typesSummary: Add heuristics to pick best stuck constraint as per JLS 18.5.2Reviewed-by: vromero