Fix javadoc

Motivation:

My jenkins build is failing.

Modifications:

Fix that HTML entity.

Result:

My jenkins build works now.