Removing an undocumented Javadoc parameter