Javadoc accuracy fix in servkit.api.IVersion