[J2me-device-db-general] Pre-Verification Problem

[James B. <jm...@ho...>]

Hello,

I was wondering if you have had any problems with Pre-Verification failing 
on the obfuscated version?

I'm converting my project to use the j2me-device-db from an existing Antenna 
build process. This existing process makes uses of the wtk-package instead 
of doing the build in the 2 steps (creating jar - then pre-verifying).

It builds the un obfuscated version ok, but fails on the the obfuscated 
version. The output says the following:

     [echo] Obfuscating ...
     [echo] 
c:/development/eclipse2/workspace/TestApp/lib/midp2-cldc11.jar;c:
/development/eclipse2/workspace/TestApp/lib/nokia-ui.jar
 [proguard] ProGuard, version 3.3
 [proguard] ProGuard is released under the GNU General Public License. The 
autho
rs of all
 [proguard] programs or plugins that link to it (net.sf.antcontrib.logic, 
..) t
herefore
 [proguard] must ensure that these programs carry the GNU General Public 
License
 as well.
 [proguard] Reading program jar 
[C:\development\eclipse2\workspace\TestApp\di
st\jadjar\sonyericsson\k800\TestGame_v1-0-0_en.jar]
 [proguard] Reading library jar 
[C:\development\eclipse2\workspace\TestApp\li
b\midp2-cldc11.jar]
 [proguard] Reading library jar 
[C:\development\eclipse2\workspace\TestApp\li
b\nokia-ui.jar]
 [proguard] Preparing output jar 
[C:\development\eclipse2\workspace\TestApp\d
ist\jadjar_obfuscated\sonyericsson\k800\TestGame_v1-0-0_en.jar]
 [proguard]   Copying resources from program jar 
[C:\development\eclipse2\worksp
ace\TestApp\dist\jadjar\sonyericsson\k800\TestGame_v1-0-0_en.jar]
   [wtkjad] **************************************************************
   [wtkjad] * Antenna 0.9.13 initialized for project "microcode build file" 
*
   [wtkjad] * Using Sun Wireless Toolkit 2.2 (CLDC-1.0; MIDP-1.0)        *
   [wtkjad] **************************************************************
   [wtkjad] Creating JAD file 
C:\development\eclipse2\workspace\TestApp\dist\
jadjar_obfuscated\sonyericsson\k800\TestGame_v1-0-0_en.jad
[wtkpreverify] Preverifying 
C:\development\eclipse2\workspace\TestApp\dist\ja
djar_obfuscated\sonyericsson\k800\TestGame_v1-0-0_en.jar
[wtkpreverify] Error preverifying class as
[wtkpreverify]     VERIFIER ERROR as.e()V:
[wtkpreverify] Expecting to find object/array on stack

BUILD FAILED
C:\development\eclipse2\workspace\TestApp\build\build.xml:8: The following 
er
ror occurred while executing this line:
C:\development\j2me-device-db\tools\microcode\build.xml:50: The following 
error
occurred while executing this line:
C:\development\j2me-device-db\tools\microcode\build.xml:61: The following 
error
occurred while executing this line:
C:\development\j2me-device-db\tools\microcode\build.xml:143: Preverification 
fai
led (result=1)

I'm a bit baffled why the Antenna is being initialized as a CLDC-1.0 & 
MIDP-1.0 when further up on the build it builds the main project as:

     [echo] Using CLDC 1.1 MIDP 2.0
   [delete] Deleting: 
C:\development\eclipse2\workspace\TestApp\dist\src\devi
ce.properties
   [wtkjad] **************************************************************
   [wtkjad] * Antenna 0.9.13 initialized for project "microcode build file" 
*
   [wtkjad] * Using Sun Wireless Toolkit 2.2 (CLDC-1.1; MIDP-2.0)        *
   [wtkjad] **************************************************************

I'm guessing this is why it is failing the verification. Does anyone else 
see the same problem?

Thanks in advance,

James Brook