Libdvm: Fix build under JDK 7

Change-Id: Id25c271287a3379e9e81a7c9f15550533c49c61d