Very boringly: added serial version IDs to reduce need for eclipse warnings disabling