Eclipseで後からJavaプロジェクトに変更する方法

CVSでチェックアウトなんてたまにしか行わないので、つい間違って（Javaプロジェクトでなく）単なるプロジェクトとしてチェックアウトしてしまうことがある(苦笑)
小さなプロジェクトならやり直せばいいが、大量ソースをネットワーク経由で、などといったらあまりやり直す気もしない。

という訳で、そういうプロジェクトを後からJavaプロジェクトに変更する方法をメモ。
設定ファイルをEclipseの外から直接書き換えるので、あまり美しい方法とは言えないけど…まぁいいか。

あとついでに、Eclipseで「ユーザー・ライブラリー」を使う方法がようやく分かった。
…Eclipse3.4ではあまり役に立たないかもしれないけど、Eclipse3.2なら便利かも(笑)