Added some stuff to make eclipse happy