Use /* ... */ comments here so that it will be picked up by java docs?