A bit of JavaDoc