Some quick eclipse fixes