void () { highlightTest("[^abc[^cde]]"); // JDK 8: conjunction of inverted [abc] and inverted [cde], which equals inverted [c] // JDK 9: the inverse of the conjunction of [abc] and inverted [cde], which equals the inverse of inverted [de], which is [de] }