--- gcc/java/gjavah.c.orig	Wed Feb  5 20:39:02 2003
+++ gcc/java/gjavah.c	Wed Feb  5 20:43:53 2003
@@ -750,10 +750,14 @@
 		jfloat fnum = JPOOL_FLOAT (jcf, current_field_value);
 		fputs ("const jfloat ", out);
 		print_field_name (out, jcf, name_index, 0);
+#ifdef __alpha__
+                  fputs (";\n", out);
+#else
 		if (! java_float_finite (fnum))
 		  fputs (";\n", out);
 		else
 		  fprintf (out, " = %.10g;\n",  fnum);
+#endif
 	      }
 	      break;
 	    case CONSTANT_Double:
@@ -761,10 +765,14 @@
 		jdouble dnum = JPOOL_DOUBLE (jcf, current_field_value);
 		fputs ("const jdouble ", out);
 		print_field_name (out, jcf, name_index, 0);
+#ifdef __alpha__
+                  fputs (";\n", out);
+#else
 		if (! java_double_finite (dnum))
 		  fputs (";\n", out);
 		else
 		  fprintf (out, " = %.17g;\n",  dnum);
+#endif
 	      }
 	      break;
 	    default:
