fix a build problem wrt smile javadocs

1 file changed