On 21/03/2018 16:46, Brian Burkhalter wrote: > The CSR has been approved with the comment that the notes in > Paths.java could be done as @implSpec tags. I can change these before > checking this in if advised. Okay with me too. -Alan