Sync buxfixes with Java scripting plugin