another 3308 thing (from eclipse)