--- /home/cpdev/src/classpath/java/security/cert/X509Certificate.java	2005-07-02 21:03:42.000000000 +0000
+++ java/security/cert/X509Certificate.java	2005-06-30 05:34:46.000000000 +0000
@@ -135,9 +135,7 @@
  * @author Mark Benvenuto
  * @author Casey Marshall (rsdio@metastatic.org)
  */
-public abstract class X509Certificate
-  extends java.security.cert.Certificate  // XXX workaround for gcj bug #17845
-  implements X509Extension
+public abstract class X509Certificate extends Certificate implements X509Extension
 {
   private static final long serialVersionUID = -2491127588187038216L;