No matches were found for subject:"\[GitHub\] JaroslavTulach opened a new pull request #431\: Make sure the JavaScript coloring prevails inside of Java strings"