source: trunk/gcc/libjava/java/