I probably would come down on the side of publishing the names of the older ones, even if they weren't charged as adults, because of the nature of the charges. Suppose in two years, someone blows up a school, and it's one of those kids. I'd be wondering about ways to identify the younger [13-year-old] ones.

It certainly is a gray area. Most news organizations are fairly skittish about printing the names of juveniles unless they're being charged as adults.