No matter how you slice it, Java enterprise would only cost $180/yr which is almost 10x better than your best estimate
Let's say you have 25 devs on a 5-year project. 5 of them are mobile focused, 5 are windows focused, 5 are mac/Linux focused, and 10 are focused on the cloud/server side of the project.
We'll make the (probably bad) assumption that you don't need enterprise licenses for the desktop app portion. We'll further assume that windows devs use only windows and backend devs use only Linux while mobile and mac/Linux devs use both the systems they work on.
First 2 years (because we get a discount on year 1 maintenance)
$17,000 for 5 64-bit windows professional
$51,000 for 10 64-bit linux enterprise
$37,000 for 5 64-bit mac professional and 5 pairs of mobile for 2 years
$34,000 for 5 64-bit mac professional and 5 64-bit linux professional
$139,000 for first 2 years
Next 3 years (maintenance and mobile annual fees)
$11,250 for 5 64-bit windows professional
$33,750 for 10 64-bit linux enterprise
$41,250 for 5 64-bit mac professional and 5 pairs of mobile for 3 years
$22,500 for 5 64-bit mac professional and 5 64-bit linux professional
$108,750 for next 3 years
$247,750 for project.
Now let's do Java at $180/yr/dev. We'll even throw in IntelliJ Ultimate for 5 years.
First 2 years
$9,000 - 25 devs for 2 years of enterprise Java
$14,975 - 25 devs for year 1 of IntelliJ Ultimate ($599/yr/dev)
$11,975 - 25 devs for year 2 of IntelliJ Ultimate ($479/yr/dev)
$35,950 for first 2 years
next 3 years
$13,500 - 25 devs for 3 years of enterprise Java
$8,975 - 25 devs for year 3-5 of IntelliJ Ultimate ($359/yr/dev)
$22,475 for next 3 years
$58,425 for project
Drop the non-enterprise devs from support reduces Java cost from $22,500 to just $9,000. Dropping subsequent years of the new IntelliJ would cut that cost from $35,925 down to $14,975 reducing our total expenses to just $23,975.
I'd calculate these for LispWorks, but they don't even provide that option at all. If you forego maintenance entirely, you're still stuck with $115,000 the first year and $40,000 for the remaining 4 years of subscription to mobile meaning your absolute minimum here is $155,000 and exceeds even the top-end budget for a Java project. If you turn out to need the Enterprise version for the non-backend devs and want maintenance, that cost goes up to $267,875.
The difference in money is enough to provide every team member with a new $4,000 laptop year 2 and again year 4 OR to increase their yearly bonus by $1600.