[funcDropShadow]

JavaCard is used in smartcards e.g. for banking cards. There you want to have more language guarantees to avoid losing money.