The Java Graph Laboratory