Shouldn't final and abstract together be prohibited?
The following compiled, to my surprise.

// Final %s can't be abstract. It does not define %s from %s.

final abstract class SomeClass
{
}