model loader: fix for #1302: trust the java abstract modifier for toplevel classes