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          624 defs/Defs.java           if (maxWidth < od.getWidth()) {
getWidth          625 defs/Defs.java             maxWidth = od.getWidth();