(post :title "Collaboration projects"
      (page
       (p [Here are a couple of projects that cannot possibly be done by just a single motivated individual.
           If you're interested in working on any of these projects please ,(anchor "contact us" "/who.html").])

       (h2 [Maintaining the GNU Compiler for Java])
       (p [Until recently the latest Java Development Kit (JDK) could be bootstrapped in a chain starting with GCJ (the GNU Compiler for Java) and the IcedTea build system.
           GCJ was deleted from the GNU Compiler Collection in October 2016, so it is now unclear how to bootstrap the JDK in future.])
       (p [To ensure that the JDK can be built from sources without the need for an existing installation of the OpenJDK we propose to continue maintaining GCJ.])

       (h2 [Maintaining GCC version 4.7])
       (p [The C and C++ compilers of the GNU Compiler Collection make up the foundation of many free software distributions.
           Current versions of GCC are written in C++, which means that a C++ compiler is needed to build it from source.
           GCC 4.7 was the last version of the collection that could be built with a plain C compiler, a much simpler task.])
       (p [We propose to collectively maintain a subset of GCC 4.7 to ensure that we can build the foundation of free software distributions starting with a simple C compiler (such as tinyCC, pcc, etc).])))