40 |
private static void p(String s) { |
private static void p(String s) { |
41 |
System.out.println("DefaultSpanImageFactory: "+s); } |
System.out.println("DefaultSpanImageFactory: "+s); } |
42 |
|
|
43 |
public PoolManager poolManager = new PoolManager(); |
public PoolManager poolManager = PoolManager.getInstance(); |
44 |
public PaperMaker paperMaker = new PlainPaperMaker(); |
public PaperMaker paperMaker = new PlainPaperMaker(); |
45 |
public ScrollBlockImager scrollBlockImager; |
public ScrollBlockImager scrollBlockImager; |
46 |
|
|