java.lang.VerifyError: Instruction type does not match stack map

[eschava]

The error happens when instructing class like

public class Main
{
        public synchronized static boolean h()
        {
            return true;
        }
}

[ealphonse]

Same here with version 0.5.1 and 0.5 but runs with 0.4

[mheinzerling]

I could bypass the remaining errors in 0.4 in my project by using e.g. -Ddlcheck.exclude=org.tanukisoftware.*,org.apache.catalina.*,javolution.util.FastMap,javolution.text.Text