Update DoubleBuffer.x10
Merge pull request #1 from fcmartins/patch-1

Update DoubleBuffer.x10