An object editor for Android