47 |
public class LinebrokenText extends TextHandler { |
public class LinebrokenText extends TextHandler { |
48 |
public static final String rcsid = "$Id$"; |
public static final String rcsid = "$Id$"; |
49 |
public static boolean dbg = false; |
public static boolean dbg = false; |
|
private static void p(String s) { if(dbg) pa(s); } |
|
50 |
private static void pa(String s) { System.out.println("LinebrokenText::"+s); } |
private static void pa(String s) { System.out.println("LinebrokenText::"+s); } |
51 |
|
|
52 |
static Object CONTENT_KEY = new Object(); |
static Object CONTENT_KEY = new Object(); |