equal
deleted
inserted
replaced
251 if (painter == null) { |
251 if (painter == null) { |
252 if (defaultPainter == null) { |
252 if (defaultPainter == null) { |
253 // the classname should probably come from a property file. |
253 // the classname should probably come from a property file. |
254 String classname = "javax.swing.text.GlyphPainter1"; |
254 String classname = "javax.swing.text.GlyphPainter1"; |
255 try { |
255 try { |
256 Class c; |
256 Class<?> c; |
257 ClassLoader loader = getClass().getClassLoader(); |
257 ClassLoader loader = getClass().getClassLoader(); |
258 if (loader != null) { |
258 if (loader != null) { |
259 c = loader.loadClass(classname); |
259 c = loader.loadClass(classname); |
260 } else { |
260 } else { |
261 c = Class.forName(classname); |
261 c = Class.forName(classname); |