Can't start emulator with new Android SDK Tools rev. 20.0.1

After updating the Android SDK to rev. 20.0.1, the Android Emulator can't be started anymore due to the following error:

FATAL: For input string: "20.0.1"
java.lang.NumberFormatException: For input string: "20.0.1"
at java.lang.NumberFormatException.forInputString(Unknown Source)
at java.lang.Integer.parseInt(Unknown Source)
at java.lang.Integer.parseInt(Unknown Source)
at hudson.plugins.android_emulator.util.Utils$2.call(Utils.java:187)
at hudson.plugins.android_emulator.util.Utils$2.call(Utils.java:156)
at hudson.remoting.LocalChannel.call(LocalChannel.java:45)
at hudson.plugins.android_emulator.util.Utils.getAndroidSdk(Utils.java:197)
at hudson.plugins.android_emulator.AndroidEmulator.setUp(AndroidEmulator.java:225)
at hudson.model.Build$RunnerImpl.doRun(Build.java:133)
at hudson.model.AbstractBuild$AbstractRunner.run(AbstractBuild.java:475)
at hudson.model.Run.run(Run.java:1421)
at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:46)
at hudson.model.ResourceController.execute(ResourceController.java:88)
at hudson.model.Executor.run(Executor.java:238)

It seems that the new SDK version is the first one that uses a String as the revision "number" and the android emulator plugin can't cope with this.