Remove unused XML attribute

import android.content.Context;

import android.content.res.Resources;

import android.content.res.TypedArray;

import android.util.AttributeSet;

import android.view.Gravity;

import android.view.View;

    private final int[] mCoordinates = new int[2];

    private final KeyDetector mKeyDetector;

    private final int mVerticalCorrection;

    private Controller mController;

    private KeyboardActionListener mListener;

    public MiniKeyboardView(Context context, AttributeSet attrs, int defStyle) {

        super(context, attrs, defStyle);

        final TypedArray a = context.obtainStyledAttributes(

                attrs, R.styleable.KeyboardView, defStyle, R.style.KeyboardView);

        mVerticalCorrection = a.getDimensionPixelOffset(

                R.styleable.KeyboardView_verticalCorrection, 0);

        a.recycle();

        final Resources res = context.getResources();

        // Override default ProximityKeyDetector.

        mKeyDetector = new MiniKeyboardKeyDetector(res.getDimension(