Rule.getCorrectExamples() and Rule.getIncorrectExamples() don't return null anymore - this makes it easier for the user (no null checks needed)
fix the javadoc - don't guarantee that Rule.getId() returns an ASCII-only string, as we don't actually enforce that