pimp jdt settings