Simple parser for serialized php strings in java