This HTML fragment was automatically generated from the test cases for JSON Pattern.