Empty window for the JFileChooser
Using Ubuntu 18_04, and OpenJDK Java 8_242, two groups of student have experienced a problem when executing the generated monitors for the first time (i.e. without Trace_files.txt). The java program opens a JFileChooser to select the trace file or the traces directory. Actually, for these students, the window is blank, i.e. none of the characters appears (only the structure and the icons). A temporary solution against this bug is to manually edit a file named Trace_files.txt located at the same level as "Results", and to add the path to the trace file or the traces directory.
I was not able to reproduce the problem yet, but here are some possible explanations:
- This is due to a different version of java (Open JDK 8.242) This should be experimented on a fresh ubuntu machine with this exact version.
- (Most likely): the JFileChooser uses a font that is not available on these machines. Actually, it seems that the file Load_Trace_file.java which is in partrap/utils changes the font of the chooser:
private static void setFileChooserFont(Component[] comp)
{
Font font = new Font("SanSerif",Font.PLAIN,15);
In order to fix this issue, it should (a) be reproduced and (b) corrected (possibly by removing the font change in Load_Trace_file.java ; but I remember that the font change was necessary because the original font was too small).