Drupal 8 update: simpletest uses phpdoc annotations now.
Drupal 8 update: switch to using FormStateInterface.