Jochen Wiedmann

Sounds reasonable to me. Will do.

I think, this issues scope is too far. My suggestion would be, like follows: 1. As an alternative to publicId, and systemId, provide a boolean attribute "usingDtd". 2. If this...

Ross, this is almost two years old. Do you still see an issue here?

On Fri, Nov 1, 2019 at 11:35 AM Andreas Sewe wrote: > When checking (X)HTML documents for correct indentation, I run into some > strange false-positives. > > The following...

On Mon, Dec 2, 2019 at 10:53 AM Andreas Sewe wrote: > No schema. In fact, XHTML5 doesn't have one. > > But AFAIK, xml:check-format just requires well-formedness, not validity,...

Just a hint: Unless the current directory is in your class path (unlikely for a Maven project), then src/main/xml/catalog.xml is an invalid URI.

@garydgregory Have to admit, that even I don't understand, what you are suggesting?

@sferragud This looks to me like unrelated to the plugin. Perhaps trouble with your network connection, or something like that. I suggest to retry. If necessary, perhaps even retry again...

java.lang.ClassCastException: class org.eclipse.jdt.internal.core.JavaNature cannot be cast to class org.eclipse.jdt.core.IJavaProject (org.eclipse.jdt.internal.core.JavaNature and org.eclipse.jdt.core.IJavaProject are in unnamed module of loader org.eclipse.osgi.internal.loader.EquinoxClassLoader @17949298) at net.sf.eclipse.tomcat.TomcatProjectPropertyPage.getJavaProject(TomcatProjectPropertyPage.java:107) at net.sf.eclipse.tomcat.TomcatProjectGeneralPropertyPage.createIsTomcatProjectGroup(TomcatProjectGeneralPropertyPage.java:84) at net.sf.eclipse.tomcat.TomcatProjectGeneralPropertyPage.createContents(TomcatProjectGeneralPropertyPage.java:60) at net.sf.eclipse.tomcat.TomcatProjectPropertyPage.createContents(TomcatProjectPropertyPage.java:62) at org.eclipse.jface.preference.PreferencePage.createControl(PreferencePage.java:244)...

Forgot to mention: I am on 9.1.7.