Editor added to JavaDoc