Fix Javadoc formatting (use 80 instead of 120)