@@ -92,11 +92,11 @@ return new Win32GraphicsConfig(device, pixFormatID); } /** * @deprecated as of JDK version 1.3 - * replaced by <code>getConfig()</code> + * replaced by {@code getConfig()} */ @Deprecated public Win32GraphicsConfig(GraphicsDevice device, int visualnum) { this.screen = (Win32GraphicsDevice)device; this.visual = visualnum;