eclipse preferences and setup document