This guy suffers from the "schools are job training" mentality that I've noticed has grown in popularity recently. He expects students from the university to be able to work on his development environment without significant retraining, when he is not using the development environment that the universities are teaching.
The fault here is in the business owner expecting freshman grads to be skilled in highly specialized software development specific to their business. The schools are pumping out students who are perfectly good programmers, and if he actually trained them to use his tools, they would be good programmers for his environment.
Edit: To be clear, if the were a university teaching only Java to the students, it would be a bad university. Such a university doesn't exist. If he wants formal methods, he needs to higher Masters students or higher -- or optionally donate a few $$ to a CS department in exchange for adding the course to ugrad.
The fault here is in the business owner expecting freshman grads to be skilled in highly specialized software development specific to their business. The schools are pumping out students who are perfectly good programmers, and if he actually trained them to use his tools, they would be good programmers for his environment.
Edit: To be clear, if the were a university teaching only Java to the students, it would be a bad university. Such a university doesn't exist. If he wants formal methods, he needs to higher Masters students or higher -- or optionally donate a few $$ to a CS department in exchange for adding the course to ugrad.
Edit 2: I'm going to stop editing this now.