Added a javadoc to addRequirement in Program