included jfreechart sources break scala_project

[Makarius]

On 14/04/2026 09:11, Fabian Huch wrote:
> The recently updated jfreechart component (added in cc6e160130ab) breaks 
> scala_project: Including the java sources via build.props is bad, since 
> transitive dependencies (javax.servlet:servlet-api) are missing. This makes 
> the generated scala_project no longer build properly (and thus IntelliJ IDEA 
> cannot understand our Isabelle/Scala sources).

I have reverted that here:

changeset:   84426:26f651ac1f28
user:        wenzelm
date:        Sat Apr 18 12:06:27 2026 +0200
files:       src/Pure/Admin/component_jfreechart.scala
description:
backed out changeset c5c135ff3726: resulting scala_project lacks build 
dependencies and thus may cause problems in IntelliJ IDEA;


The purpose was actually to get formal sources in IntelliJ IDEA: this worked 
to the usual extent, without building the project in the IDE. (The latter 
sometimes works and sometimes doesn't, depending on the weather conditions of 
the latest IntelliJ release. Or maybe I don't understand it sufficiently well.)


	Makarius