Description Christopher Oezbek 2005-05-30 05:39:04 EDT

<pre>-formatting does not work in non-javadoc comments
 
(Be aware of the /* instead of /**)
 
/*
 * <pre>
 * public Object[] getChildren(Object parentElement) {
 *     if (parentElement instanceof MovingBox) {
 *         MovingBox box = (MovingBox) parentElement;
 *         return concat(box.getBoxes().toArray(), box.getBooks().toArray(), box
 *                 .getGames().toArray());
 *     }
 *     return EMPTY_ARRAY;
 * }
 * </Pre>
 */
 
is turned into
 
/*
 * <pre> public Object[] getChildren(Object parentElement) { if (parentElement
 * instanceof MovingBox) { MovingBox box = (MovingBox) parentElement; return
 * concat(box.getBoxes().toArray(), box.getBooks().toArray(), box
 * .getGames().toArray()); } return EMPTY_ARRAY; } </Pre>
 */
 
No matter which preferences are set.