3 ms·My GitHub username is @public. I get quite a lot of email about JavaDoc strings.by __alexs 3y agoMy GitHub username is @public. I get quite a lot of email about JavaDoc strings.