[Bug java/25239] gij failed to execute JREProperties.java

[pluto at agmk dot net]

------- Comment #3 from pluto at agmk dot net  2005-12-03 09:35 -------
I think this is a dup of PR25121


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25239