Updated introduction to newer version of JBDS.