Solved bug #16, which fixes parts of issue #9. JSON stone object is now
deserialized as a Stone.