Fixed Eclipse issues involving classpaths