Touchkit: does not compile with vaadin 7.1.x - VDebugConsole missing

Hello,

when I try to use touchkit-agpl.3.0.0beta1 (which is currently the only available package when using Maven) together with Vaadin 7.1 the compiler stops with the following error:


Validating units:
[INFO]
       [ERROR]
 Errors in 'com/vaadin/addon/touchkit/gwt/client/VRemoteDebugConsole.java'
[INFO]
          [ERROR]
 Line 4: The import com.vaadin.client.VDebugConsole cannot be resolved
[INFO]
          [ERROR]
 Line 18: VDebugConsole cannot be resolved to a type
[INFO]
          [ERROR]
 Line 21: The method log(String) of type VRemoteDebugConsole must override or implement a supertype method
[INFO]
          [ERROR]
 Line 22: VDebugConsole cannot be resolved to a type
[INFO]
          [ERROR]
 Line 23: The method remoteLog(String) is undefined for the type VRemoteDebugConsole
[INFO]
          [ERROR]
 Line 27: The method getRemoteLogUrl() of type VRemoteDebugConsole must override or implement a supertype method
[INFO]
    [ERROR]
 Aborting compile due to errors in some input files

in fact, the com.vaadin.client.VDebugConsole does not exist in 7.1.4 but touchkits com/vaadin/addon/touchkit/gwt/client/VRemoteDebugConsole.java does need it.
Is this a bug? Is there a simple way for me to fix this? (For my project I don’t need those classes).

Thanks,
Inna