getWidth 507 defs/ClassDef.java for (int i=0; i < getWidth(); i++) { getWidth 511 defs/ClassDef.java for (int i=od.getWidth(); i < maxWidth; i++) { getWidth 525 defs/ClassDef.java for (int i=od.getName().length()+4; i < getWidth(); i++) { getWidth 529 defs/ClassDef.java for (int i=od.getWidth(); i < maxWidth; i++) { getWidth 567 defs/ClassDef.java for (int i=od.getWidth(); i < maxWidth; i++) { getWidth 534 defs/Defs.java if (maxWidth < od.getWidth()) { getWidth 535 defs/Defs.java maxWidth = od.getWidth();