add JSON-convertion for ShipTypes in Java