Modified JavaDoc stuff