bug reproducer and fix for String.contentEquals