mostly stuff to get Eclipse to quit its bitching