Constant Field Values

Contents

• de.uka.*

de.uka.*

de.uka.ilkd.pp.Layouter<Exc extends java.lang.Exception>

public static final int	DEFAULT_INDENTATION	2
public static final int	DEFAULT_LINE_WIDTH	80