There are some outdated entries that are specific to old functionality of JGEX (update the software). These should be updated.
kovzol
