Using @literal to fix JavaDoc errors